=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1413/preface.pdf
|volume=Vol-1413
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1413/preface.pdf</pdf>
<pre>
Fabrizio Riguzzi   Joost Vennekens (Eds.)




PLP 2015
Probabilistic Logic Programming
2nd International Workshop on Probabilistic Logic Programming
co-located with 31st International Conference on Logic Program-
ming (ICLP 2015)
Cork, Ireland, August 31, 2015
Proceedings
CEUR-WS.org/Vol-1413
urn:nbn:de:0074-1413-7
http://ceur-ws.org/Vol-1413
 c 2015 for the individual papers by the papers’ authors. Copying permitted for
private and academic purposes. Re-publication of material from this volume re-
quires permission by the copyright owners.



Editors’ addresses:
Fabrizio Riguzzi
Department of Mathematics and Computer Science, University of Ferrara
Via Saragat 1, 44122, Ferrara, Italy
fabrizio.riguzzi@unife.it

Joost Vennekens
Department of Computer Science, KU Leuven
Jan De Nayerlaan 5, 2860 Sint-Katelijne-Waver, Belgium
joost.vennekens@cs.kuleuven.be
Preface

This is the proceedings of the Second Workshop on Probabilistic Logic Program-
ming (PLP 2015), which was held on August 31st 2015 in Cork, Ireland, as a
workshop of the 31st International Conference on Logic Programming (ICLP 2015).
Eight papers were submitted to the workshop. Each submission was reviewed by
three members of the program committee. All submitted papers were of sufficiently
high quality to be accepted to the workshop. In addition, the workshop also had
invited talks by Angelika Kimmig (KU Leuven) and Nicos Angelopoulos (Imperial
College, London).
This workshop is the second edition in what we hope will be a long series. The
first edition was held in 2014 in Vienna, Austria, also as part of the ICLP confer-
ence. More information about the current edition, the previous edition, and future
editions can be found at the following website:
http://stoics.org.uk/plp/
We would like to thank all authors who submitted papers, all program committee
members and all reviewers for their efforts. In addition, we are also grateful to the
organisers of ICLP and, in particular, to Mats Carlsson, ICLP’s Workshop Chair.


July 2015                                        Fabrizio Riguzzi, Joost Vennekens




                                         3
Organizing Committee

 Fabrizio Riguzzi       University of Ferrara, Italy
 Joost Vennekens        KU Leuven, Belgium


Program Committee

 Nicos Angelopoulos     Imperial College, UK
 Elena Bellodi          University of Ferrara, Italy
 James Cussens          University of York, UK
 Nicola Di Mauro        Università di Bari, Italy
 Arjen Hommersom        University of Nijmegen, The Netherlands
 Angelika Kimmig        KU Leuven, Belgium
 Wannes Meert           KU Leuven, Belgium
 Aline Paes             Universidade Federal Fluminense, Brasil
 David Poole            University of British Columbia, Canada
 C. R. Ramakrishnan     University at Stony Brook, US
 Fabrizio Riguzzi       University of Ferrara, Italy
 Terrance Swift         Coherent Knowledge Systems, US
 Christian Theil Have   Copenhagen University, Denmark
 Joost Vennekens        KU Leuven, Belgium
 Herbert Wiklicky       Imperial College, UK




                               4
Contents


Invited Talks                                                            7

BIMS: for Bayesian inference of model structure
  Nicos Angelopoulos                                                      7

Probabilistic (logic) programming: opportunities and challenges
  Angelika Kimmig                                                         8


Regular Papers                                                           9

Advances in integrating statistical inference
  Nicos Angelopoulos, Samer Abdallah and Georgios Giamas                  9

Towards a General Framework for Actual Causation Using CP-logic
  Sander Beckers and Joost Vennekens                            19

Most Probable Explanation for MetaProbLog and its application in
  Heart Sound Segmentation
  Theofrastos Mantadelis, Jorge Oliveira and Miguel Coimbra      39

Constraint-Based Inference in Probabilistic Logic Programs
  Arun Nampally and C. R. Ramakrishnan                                   46

A Hybrid Approach to Inference in Probabilistic Non-Monotonic
  Logic Programming
  Matthias Nickles and Alessandra Mileo                       57

The Distribution Semantics is Well-Defined for All Normal Programs
  Fabrizio Riguzzi                                                 69

Probabilistic Abductive Logic Programming using Dirichlet Priors
  Calin-Rares Turliuc, Luke Dickens, Alessandra Russo and Krysia Broda   85




                                    5
CONTENTS


Presented Papers which Appear Elsewhere

Anytime Inference in Probabilistic Logic Programs with Tp-Compilation
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert and Luc
De Raedt, International Joint Conference on Artificial Intelligence, 2015, AAAI
Press / International Joint Conferences on Artificial Intelligence, http://ijcai.
org/papers15/Papers/IJCAI15-263.pdf




                                       6

</pre>