CFP PLP-2015: The Second Workshop on Probabilistic Logic Programming

[Fabrizio Riguzzi]

       PLP-2015: The Second Workshop on Probabilistic Logic Programming
       ----------------------------------------------------------------

     A workshop of the 2015 International Conference on Logic Programming
                               31 August 2015
                                Cork, Ireland
                      http://stoics.org.uk/plp/plp2015/



Deadline for submissions:        10 June 2015


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.

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 a successful  first edition of this  workshop at ICLP 2014  in
Vienna, the
second edition  hopes to  continue to foster  collaboration between
 between the
ICLP and PLP communities. We hope that  both (a) more LP researchers will
become
interested in inference  and learning with PLP and (b)  PLP researchers
will get
important feedback on their work from logic programmers.


Submissions
-----
Submissions will be  managed via EasyChair. Contributions should be
 prepared in
the LLNCS 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.

Extended  versions  of  selected  workshop  papers  will  be  published  in
 the
International Journal of Approximate Reasoning (Elsevier).


Deadlines
-----
Papers due:                Wed, 10th June 2015
Notification to authors:   Fri, 10th July 2015
Camera ready version due:  Fri, 24th July 2015
Workshop data:             Mon, 31st August 2015

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


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


Programme Committee
-----
Fabrizio Riguzzi (Universita'  di Ferrara, Italy)  [co-chair]
Joost Vennekens (KU Leuven, Belgium)  [co-chair]
Elena Bellodi (ENDIF-University of Ferrara)
Nicos Angelopoulos (Imperial College, London)
Arjen Hommersom (University of Nijmegen)
Nicola Di Mauro (Università di Bari)
Christian Theil Have (Copenhagen University)
Angelika Kimmig (KU Leuven)
Wannes Meert (KU Leuven)
Aline Paes (Institute of Computing, Universidade Federal Fluminense)
David Poole (University of British Columbia)
C. R. Ramakrishnan (University at Stony Brook)
Herbert Wiklicky (Imperial College London)
Terrance Swift (CENTRIA, Universidade Nova de Lisboa)
James Cussens (University of York)
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20150512/174afb09/attachment.html>