posted by user: rzese || 3994 views || tracked by 5 users: [display]

PLP 2017 : Probabilistic logic programming 2017


When Sep 7, 2017 - Sep 7, 2017
Where Orléans - France
Submission Deadline Jun 11, 2017
Notification Due Jul 11, 2017
Final Version Due Jul 25, 2017
Categories    probabilistic logic   artificial intelligence   uncertainty

Call For Papers

PLP-2017: The Fourth Workshop on Probabilistic Logic Programming

A workshop of the 27th International Conference on Inductive Logic Programming
7 September 2017
Orléans, France

Deadline for submissions: 11 June 2017

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.

The workshop encompasses all aspects of combining logic, algorithms,
programming and probability.

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

This workshop provides a forum for the exchange of ideas, presentation of
results and preliminary work, in the following areas

* probabilistic logic programming formalisms

* parameter estimation

* statistical inference

* implementations

* structure learning

* reasoning with uncertainty

* constraint store approaches

* stochastic and randomised algorithms

* probabilistic knowledge representation and reasoning

* constraints in statistical inference

* applications, such as

* * bioinformatics

* * semantic web

* * robotics

* probabilistic graphical models

* Bayesian learning

* tabling for learning and stochastic inference


* stochastic search

* labelled logic programs

* integration of statistical software

The above list should be interpreted broadly and is by no means exhaustive.

After three successful editions of this workshop at ICLP 2014 in Vienna, ICLP 2015
in Cork and ILP 2016 in London, the fourth edition of PLP is held at the ILP conference
in Orléans. We hope that this encourages further collaboration between researchers
in PLP and researchers working in other areas of ILP. In particular, we hope that both
(a) other ILP researchers will become interested in using PLP formalisms and
(b) that PLP researchers are inspired by other inductive learning approaches.

Submissions will be managed via EasyChair. Contributions should be prepared in
the LNCS style. A mixture of papers are sought including: new results, work in
progress as well as technical summaries of recent substantial contributions.
Papers presenting new results should be 6-12 pages in length. Work in progress
and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly
indicate the type of each paper.

At least one author of each accepted paper will be required to attend the
workshop to present the contribution.

Informal proceedings will be made available electronically to attendees. They
will also be for stored permanently in the form on CEUR Workshop Proceedings
( The proceedings will consist of clearly marked sections
corresponding to the different types of submissions accepted.

Papers due: Sun, 11th June 2017
Notification to authors: Tue, 11th July 2017
Camera ready version due: Tue, 25th July 2017
Workshop data: Thu, 7th September 2017

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

Invited Speaker(s)
Arjen Hommersom (Open University, The Netherlands)
Samer Abdallah (University College London)

Programme Committee
Christian Theil Have (Copenhagen University, Denmark) [co-chair]
Riccardo Zese (University of Ferrara, Italy) [co-chair]

Samer Abdallah (University College London)
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)
Arjen Hommersom (Open University, The Netherlands)
Angelika Kimmig (KU Leuven, Belgium)
Evelina Lamma (University of Ferrara, Italy)
David Poole (University of British Columbia, Canada)
Fabrizio Riguzzi (University of Ferrara, Italy)
Alessandra Russo (Imperial College, UK)
Joost Vennekens (KU Leuven, Belgium)

Related Resources

ICLP 2021   The 37th International Conference on Logic Programming
IARCE 2021-Ei Compendex & Scopus 2021   2021 5th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2021)
SYNASC 2021   23th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
CFMAI 2021   2021 3rd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2021)
ECSQARU 2021   16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
JCRAI 2021   2021 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2021)
FPL 2021   Field-Programmable Logic and Applications
GECCO 2021   Genetic and Evolutionary Computation Conference