Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PLP 2022 - Call for Papers


view this post on Zulip Email Gateway (Mar 29 2022 at 10:16):

From: Víctor Pérez <victor.perez@software.imdea.org>
================================================================================
PLP 2022
The 9th Workshop on Probabilistic Logic Programming
Collocated with ICLP 2022
Haifa, Israel, 1 August 2022
http://stoics.org.uk/~plp2022/
================================================================================

Call for Papers
===============

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.

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 run over programs that represent highly structured probability spaces. Partly due to logic programming's strong theoretical underpinnings, PLP is fast becoming a very well founded area 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 a large number of possible states before any answers can be produced thus breaking 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. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. It aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. Interactions between theoretical and applied minded researchers are encouraged.

Topics of Interest


This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work in all areas related to probabilistic logic programming; including, but not limited to:

along with any other PLP-related topic.

Submissions


Submissions will be managed via EasyChair: https://easychair.org/conferences/?conf=plp22.

Contributions should be prepared in the 1-column CEURART style (also available as an overleaf project https://www.overleaf.com/project/5e76702c4acae70001d3bc87). 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.

Important Dates


Paper submission deadline: June 10th, 2022
Notification: July 10th, 2022
Camera Ready: July 20th, 2022
Workshop: August 1st, 2022

(the deadline for all dates is intended Anywhere on Earth (UTC-12))

Program Chairs



Last updated: Jul 15 2022 at 23:21 UTC