posted by organizer: arjenh || 1635 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
LOPSTR 2016   26th International Symposium on Logic-Based Program Synthesis and Transformation
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
FoSSaCS 2017   20TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
PAKDD 2017   The 21st Pacific-Asia Conference on Knowledge Discovery and Data Mining
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
PLDI 2017   ACM SIGPLAN Symposium on Programming Language Design &Implementation
IUI 2017   22nd ACM International Conference on Intelligent User Interfaces
ASPLOS 2017   22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems