CFP PLP-2016: The Third Workshop on Probabilistic Logic Programming

[Arjen Hommersom]

[Apologies for cross posting]

    PLP-2016: The Third Workshop on Probabilistic Logic Programming
             ---------------------------------------------------------------

 A workshop of the 26th International Conference on Inductive Logic Programming
                            3 September 2016
                        Imperial College London, UK
                   http://stoics.org.uk/plp/plp2016/



Deadline for submissions:        10 June 2016


Overview
-----
Probabilistic logic programming (PLP) approaches have received much attention
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 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

   * * music

   * * robotics

   * * semantic web

   * probabilistic graphical models

   * Bayesian learning

   * tabling for learning and stochastic inference

   * MCMC

   * stochastic search

   * labelled logic programs

   * integration of statistical software

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


Purpose
-----
After two successful editions of this workshop at ICLP 2014 in Vienna and
ICLP 2015 in Cork, the third edition of PLP is held at the ILP conference. 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
-----
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. 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.


Publication
-----
Informal proceedings will be made available electronically to attendees. They
will also be for stored permanently in the form on CEUR Workshop Proceedings
(http://ceur-ws.org/). The proceedings will consist of clearly marked
sections corresponding to the different types of submissions accepted.


Deadlines
-----
Papers due:                Fri, 10th June 2016
Notification to authors:   Mon, 4th July 2016
Camera ready version due:  Mon, 18th July 2016
Workshop data:             Sat, 3rd September 2016

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


Invited Speaker(s)
-----
To be announced


Programme Committee
-----
Samer Abdallah (University College London) [co-chair]
Arjen Hommersom (Open University of the Netherlands) [co-chair]

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 (Università di Bari, Italy)

Senior Committee
-----
Nicos Angelopoulos (14M Genomics & Imperial College, 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)