=Paper=
{{Paper
|id=Vol-1661/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1661/preface.pdf
|volume=Vol-1661
}}
==None==
https://ceur-ws.org/Vol-1661/preface.pdf
Preface
These are the proceedings of the Third Workshop on Probabilistic Logic Pro-
gramming (PLP 2016), which was held on September 3, 2016 in London, UK.
The workshop was co-located with the 26th International Conference on Induc-
tive Logic Programming (ILP 2016).
Five papers were submitted to the workshop. Each submission was reviewed
by three members of the program committee. All submitted papers were of suf-
ficiently high quality to be accepted to the workshop. In addition, the workshop
also had invited talks by Fabrizio Riguzzi (University of Ferrara, Italy) and
Matthias Nickles (National University of Ireland, Galway).
This workshop is the third edition of the PLP series. The first two editions
were part of the ICLP conference: the first one in 2014 in Vienna, Austria, and
the second one in Cork, Ireland. 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, and the (senior)
program committee members for their efforts. We are especially grateful to Nicos
Angelopoulos for his continued support for the workshop series, and his help
with the organisation of the 2016 edition. In addition, we are grateful to the ILP
chairs, in particular, Alessandra Russo, for arranging the venue of the workshop
at Imperial College.
August 2016 Arjen Hommersom and Samer Abdallah
Program Chairs
PLP’16
Organization
.
Chairs
Arjen Hommersom (Open University of the Netherlands)
Samer Abdallah (Jukedeck Ltd., London, UK)
Senior Program Committee
Nicos Angelopoulos (The Welcome Trust Sanger Institute, UK)
Vitor Santos Costa (Universidade do Porto, Portugal)
James Cussens (University of York, UK)
Angelika Kimmig (KU Leuven, Belgium)
Evelina Lamma (University of Ferrara, Italy)
David Poole (University of British Columbia, Canada)
Luc De Raedt (KU Leuven, Belgium)
Fabrizio Riguzzi (University of Ferrara, Italy)
Alessandra Russo (Imperial College, UK)
Joost Vennekens (KU Leuven, Belgium)
Program Committee
Elena Bellodi (University of Ferrara, Italy)
Hendrik Blockeel (KU Leuven, Belgium)
Yoshitaka Kameya (Meijo University, Japan)
Wannes Meert (KU Leuven, Belgium)
Alina Paes (Universidade Federal Fluminense, Brazil)
C. R. Ramakrishnan (University at Stony Brook, US)
Taisuke Sato (NII/SONAR, Japan)
Christian Theil Have (Copenhagen University, Denmark)
Herbert Wiklicky (Imperial College London, UK)
Nicola di Mauro (University of Bari, Italy)
Table of Contents
Deductive and Inductive Probabilistic Programming . . . . . . . . . . . . . . . . . . . 1
Fabrizio Riguzzi
Probabilistic Inductive Logic Programming Based on Answer Set
Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Matthias Nickles
The Structure and Complexity of Credal Semantics . . . . . . . . . . . . . . . . . . . 3
Fabio G. Cozman and Denis D. Mauá
Probabilistic Constraint Logic Theories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma,
Fabrizio Riguzzi, and Riccardo Zese
Toward Computing Conflict-Based Diagnoses in Probabilistic Logic
Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Arjen Hommersom and Marcos L.P. Bueno
Sampling Random Bioinformatics Puzzles using Adaptive Probability
Distributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Christian Theil Have, Emil Vincent Appel, Jette Bork-Jensen, and
Ole Torp Lassen
Notes on the implementation of FAM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Nicos Angelopoulos