Probabilistic logic programming 2015

An ICLP workshop.
Cork, Ireland -- 31 August 2015


The proceedings are now online at CEUR.

There was also an associated special issue of the International Journal of Approximate Reasoning PLP @ IJAR.


Time table
9:00-10:00 AMInvited talk: Probabilistic (logic) programming: opportunities and challenges. Angelika Kimmig
10:00-10:30 AMCoffee break
10:30-10:55 AMNicos Angelopoulos, Samer Abdallah and George Giamas. Advances in integrating statistical inference
10:55-11:20 AMSander Beckers and Joost Vennekens. Towards a General Framework for Actual Causation Using CP-logic
11:20-11:45 AMTheofrastos Mantadelis, Jorge Oliveira and Miguel Coimbra. Most Probable Explanation for MetaProbLog and its application in Heart Sound Segmentation
11:45-12:00 AMDiscussion
12:00AM-1:30 PMLunch break
1:30-2:30 PMInvited talk: BIMS: for Bayesian inference of model structure. Nicos Angelopoulos
2:30-2:55 PMMatthias Nickles and Alessandra Mileo. A Hybrid Approach to Inference in Probabilistic Non-Monotonic Logic Programming
2:55-3:30 PMCoffee break
3:30-3:55 PMCalin-Rares Turliuc, Luke Dickens, Alessandra Russo and Krysia Broda. Probabilistic Abductive Logic Programming using Dirichlet Priors"
3:55-4:20 PMArun Nampally and C. R. Ramakrishnan. Constraint-Based Inference in Probabilistic Logic Programs
4:20-4:45 PMJonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert and Luc De Raedt. Anytime Inference in Probabilistic Logic Programs with Tp-Compilation
4:45-5:10 PMFabrizio Riguzzi. The Distribution Semantics is Well-Defined for All Normal Programs
5:10-5:30 PMDiscussion


Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory as well as algorithms that operate over programs in these formalisms.

PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs.

While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics.

This workshop aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. Interactions between theoretical and applied minded researchers are encouraged. The presence of this workshop at ICLP is intended to encourage collaboration with researchers from other areas of Logic Programming.

Invited talks

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

Probabilistic logic programming has a long tradition dating back at least to the seminal works of David Poole and Taisuke Sato in the early 90s. Still, the enormous recent interest in probabilistic programming is very much focused on other programming paradigms. This talk will explore commonalities as well as differences between PLP and other PP languages, focusing on the opportunities and challenges they provide.

Nicos Angelopoulos: BIMS: for Bayesian inference of model structure

MCMC methods in probabilistic logic programmings settings are gaining popularity and a number of different approaches have been proposed recently. We discuss theoretical results and experiences with applications of one of the first approaches in the field. The knowledge representation capabilities of the underlying language, which are less well documented in the literature, are discussed, as well as the machine learning applications of the general framework, which have been presented in a number of publications. We focus on how to express Bayesian prior knowledge in this formalism, and show how it can be used to define generative priors over statistical model spaces: Bayesian networks and classification and regression trees. Finally, we discuss a Metropolis-Hastings algorithm that can take advantage of the defined priors and its application to real-world machine learning tasks. Details of the associated publicly available software are also discussed.


Papers due: Wed, 10 June 2015 EXTENDED: Mon, 15 June 2015
Notification to authors: Mon, 10 July 2015 Sun, 12 July 2015
Camera ready version due: Fri, 24 July 2015
Workshop date: Mon, 31st August 2015

(the deadline for all dates is 23:59 BST)

Paper submissions

Full papers: 6-12 pages, short communications 2-5 pages.

Submissions site: easychair.
Call for papers: txt, pdf.

Programme committee


Programme committee

Fabrizio Riguzzi (Università di Ferrara, Italy) [co-chair]
Joost Vennekens (KU Leuven, Belgium) [co-chair]
Elena Bellodi (ENDIF-University of Ferrara)
Nicos Angelopoulos (Imperial College, London)
Arjen Hommersom (University of Nijmegen)
Nicola Di Mauro (Università di Bari)
Christian Theil Have (Copenhagen University)
Angelika Kimmig (KU Leuven)
Wannes Meert (KU Leuven)
Aline Paes (Institute of Computing, Universidade Federal Fluminense)
David Poole (University of British Columbia)
C. R. Ramakrishnan (University at Stony Brook)
Herbert Wiklicky (Imperial College London)
Terrance Swift (CENTRIA, Universidade Nova de Lisboa)
James Cussens (University of York)

Last modified: Thu Apr 16 19:29:27 CEST 2015