Preface


    These are the proceedings of the Third Workshop on Probabilistic Logic
Programming (PLP 2017), which was held on September 7, 2016 in Orléans,
France. The workshop was co-located with the 27th International Conference
on Inductive Logic Programming (ILP 2017). Five papers were submitted to the
workshop of which four was accepted to be presented during the workshop. Each
submission was reviewed by at least three members of the program committee.
In addition, the workshop also had two invited talks: “Inference for Probabilistic
Logic Programming with Continuous Distributions“ by Arjen Hommersom from
Open University of the Netherlands, and ”PRISM Revisited: Declarative Imple-
mentation of a Probabilistic Programming Language Using Delimited Control”
by Samer Abdallah of Jukedeck Ltd.
    This workshop is the fourth edition of the PLP series. The two first editions
were part of the ICLP conference: the first one in 2014 in Vienna, Austria,
and the second one in Cork, Ireland. The third edition was co-located with the
ILP conference in London, 2017. 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 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 2017 edition.




August 2017


                                        Riccardo Zese and Christian Theil Have
                              Organization

Chairs
Christian Theil Have (Copenhagen University, Denmark)
Riccardo Zese (University of Ferrara, Italy)


Programme committee
Samer Abdallah (Jukedeck Ltd)
Elena Bellodi (University of Ferrara, Italy)
Fabio Cozman (University of Sao Paulo, Brasil)
Yoshitaka Kameya (Meijo University, Japan)
Matthias Nickles (NUI Galway, Ireland)
Aline Paes (Universidade Federal Fluminense, Brazil)
Taisuke Sato (NII/SONAR, Japan)
Herbert Wiklicky (Imperial College London, UK)
Theresa Swift (CENTRIA, Portugal)



Senior Committee
Nicos Angelopoulos (Sanger Institute, UK)
Vitor Santos Costa (Universidade do Porto, Portugal)
James Cussens (University of York, UK)
Arjen Hommersom (Open University, The Netherlands)
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)
                                        Table of Contents



Invited Talks
Inference for Probabilistic Logic Programming with Continuous
Distributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   1
    Arjen Hommersom

PRISM Revisited: Declarative Implementation of a Probabilistic
Programming Language Using Delimited Control . . . . . . . . . . . . . . . . . . . . .                                    2
   Samer Abdallah

Regular Papers
Deep Probabilistic Logic Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                          3
   Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi
Information-Gain Computation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                    15
    Anthony Di Franco
From PRISM to ProbLog and Back Again . . . . . . . . . . . . . . . . . . . . . . . . . . .                                26
   Alexander Vandenbroucke, Tom Schrijvers
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid
Knowledge Bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         40
  Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese