posted by organizer: ywang485 || 324 views || tracked by 1 users: [display]

PLP 2019 : The Sixth Workshop on Probabilistic Logic Programming

FacebookTwitterLinkedInGoogle

Link: http://stoics.org.uk/plp/plp2019
 
When Sep 20, 2019 - Sep 25, 2019
Where Las Cruces, New Mexico, USA
Submission Deadline Aug 19, 2019
Notification Due Aug 30, 2019
Final Version Due Sep 13, 2019
 

Call For Papers

PLP-2019: The Sixth Workshop on Probabilistic Logic Programming
----------------------------------------------------------------

A workshop of 35th International Conference on Logic Programming
September 20-25, 2019,
Las Cruces, New Mexico, USA
http://stoics.org.uk/plp/plp2019


Deadline for submissions: Aug, 4th July 2019 (extended)


Overview
-----
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
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
* * semantic web
* * robotics
* 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 five successful editions of this workshop at ICLP 2014 in Vienna, ICLP 2015
in Cork and ILP 2016 in London, at ILP 2017 in Orléans, at ILP 2018 in Ferrara,
the sixth edition of PLP is held at the ICLP conference in Las Cruces. We hope that
this encourages further collaboration between researchers in PLP and researchers
working in other areas of ICLP.

Submissions
-----
Submissions will be managed via EasyChair(https://easychair.org/conferences/?conf=plp2019).
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-15 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.


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: Sun, 4th August 2019
Notification to authors: Fri, 16th August 2019
Camera ready version due: Fri, 30th August 2019
Workshop date: September 20-25, 2019

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


Invited Speaker(s)
-----
Joohyung Lee (Arizona State University, USA)
Guy Van den Broeck (University of California, Los Angeles)
Elena Bellodi (University of Ferrara, Italy)


Programme Committee
-----
Yi Wang (Arizona State University, USA) [co-chair]
(ywang485@asu.edu)
Sriraam Natarajan (The University of Texas at Dallas, USA) [co-chair]
(Sriraam.Natarajan@utdallas.edu)


Joohyung Lee (Arizona State University, USA)
Elena Bellodi (University of Ferrara, Italy)
Fabio Cozman (University of Sao Paulo, Brasil)
Luke Dickens (University College London, UK)
Matthias Nickles (National University of Ireland, Ireland)
Rolf Schwitter (Macquarie University, Australia)
Chung-Chieh Shan (Indiana University Bloomington, USA)


Senior Committee
-----
Nicos Angelopoulos (Sanger Institute, UK)
Vitor Santos Costa (Universidade do Porto, Portugal)
James Cussens (University of York, UK)
Arjen Hommersom (Open University, The Netherlands)
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

WLP 2019   33rd Workshop on (Constraint) Logic Programming
INAP 2019   22nd International Conference on Applications of Declarative Programming and Knowledge Management
QPLogic 2019   QPLogic - International Workshop on Quantum and Probabilistic Logic
POPL 2020   ACM SIGPLAN Symposium on Principles of Programming Languages 2020
TPM 2019   Tractable Probabilistic Modeling
ASPLOS 2020   Architectural Support for Programming Languages and Operating Systems
PLDI 2020   Programming Language Design and Implementation
PRICAI 2019   16th Pacific Rim International Conference on Artificial Intelligence
COPA 2019   8th Symposium on Conformal and Probabilistic Prediction with Applications
PPoPP 2019   47th ACM SIGPLAN Symposium on Principles of Programming Languages