Probabilistic Logic Programming Preface 0 1 Editors' addresses: Fabrizio Riguzzi Department of Mathematics and Computer Science, University of Ferrara Via Saragat 1 , 44122, Ferrara , Italy Joost Vennekens Department of Computer Science, KU Leuven Jan De Nayerlaan 5 , 2860 Sint-Katelijne-Waver , Belgium

urn:nbn:de:0074-1413-7 http://ceur-ws.org/Vol-1413

 -

PLP 2015

 Proceedings 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 requires permission by the copyright owners. joost.vennekens@cs.kuleuven.be This is the proceedings of the Second Workshop on Probabilistic Logic Programming (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 su ciently 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 rst edition was held in 2014 in Vienna, Austria, also as part of the ICLP conference. 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 e orts. 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 Joost Vennekens Program Committee Nicos Angelopoulos Elena Bellodi James Cussens Nicola Di Mauro Arjen Hommersom Angelika Kimmig Wannes Meert Aline Paes David Poole C. R. Ramakrishnan Fabrizio Riguzzi Terrance Swift Christian Theil Have Joost Vennekens Herbert Wiklicky University of Ferrara, Italy KU Leuven, Belgium Imperial College, UK University of Ferrara, Italy University of York, UK Universita di Bari, Italy University of Nijmegen, The Netherlands KU Leuven, Belgium KU Leuven, Belgium Universidade Federal Fluminense, Brasil University of British Columbia, Canada University at Stony Brook, US University of Ferrara, Italy Coherent Knowledge Systems, US Copenhagen University, Denmark KU Leuven, Belgium Imperial College, UK 4

BIMS: for Bayesian inference of model structure

Nicos Angelopoulos Probabilistic (logic) programming: opportunities and challenges

Angelika Kimmig Regular Papers Advances in integrating statistical inference

Nicos Angelopoulos, Samer Abdallah and Georgios Giamas Towards a General Framework for Actual Causation Using CP-logic

Sander Beckers and Joost Vennekens Most Probable Explanation for MetaProbLog and its application in Heart Sound Segmentation

Theofrastos Mantadelis, Jorge Oliveira and Miguel Coimbra Constraint-Based Inference in Probabilistic Logic Programs

Arun Nampally and C. R. Ramakrishnan A Hybrid Approach to Inference in Probabilistic Non-Monotonic Logic Programming

Matthias Nickles and Alessandra Mileo The Distribution Semantics is Well-De ned for All Normal Programs

Fabrizio Riguzzi Probabilistic Abductive Logic Programming using Dirichlet Priors Calin-Rares Turliuc, Luke Dickens, Alessandra Russo and Krysia Broda 7 7 8 9 9 19 39 46 57 69 85 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 Arti cial Intelligence, 2015, AAAI Press / International Joint Conferences on Arti cial Intelligence, http://ijcai. org/papers15/Papers/IJCAI15-263.pdf