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