posted by organizer: arjenh || 1764 views || tracked by 3 users: [display]

PLP 2016 : The Third Workshop on Probabilistic Logic Programming

FacebookTwitterLinkedInGoogle

Link: http://www.stoics.org.uk/plp/plp2016/
 
When Sep 3, 2016 - Sep 3, 2016
Where London, UK
Submission Deadline Jun 24, 2016
Notification Due Jul 15, 2016
Final Version Due Jul 29, 2016
Categories    probabilistic logic   artificial intelligence   uncertainty
 

Call For Papers

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: 24 June 2016 (EXTENDED)


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, 24th June 2016
Notification to authors: Fri, 15th July 2016
Camera ready version due: Fri, 29th July 2016
Workshop data: Sat, 3rd September 2016

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


Invited Speaker(s)
-----
Fabrizio Riguzzi (University of Ferrara, Italy)
Matthias Nickles (National University of Ireland, Galway)

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)

Related Resources

IJCAI 2017   International Joint Conference on Artificial Intelligence
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems
LPAR 2017   International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
ICONIP 2017   International Conference on Neural Information Processing
FoSSaCS 2017   20TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
ICCAR 2017   2017 3rd IEEE International Conference on Control, Automation and Robotics (ICCAR 2017) - IEEE Xplore and Ei Compendex
PLDI 2017   ACM SIGPLAN Symposium on Programming Language Design & Implementation