Logic List Mailing Archive

EELP 2019: Epistemic Extensions of Logic Programming

20-25 Sep 2019
Las Cruces NM, U.S.A.

========================================================================
                                                        CALL FOR PAPERS
                                                                 EELP 2019
                          Workshop on Epistemic Extensions of Logic Programming
                                                       September 20-25, 2019
                                                  Las Cruces, New Mexico, USA
                                       https://www.semsys.aau.at/events/eelp2019/
========================================================================

AFFILIATION

   This workshop is part of the International Conference of Logic Programming
   (ICLP) 2019.

AIMS AND SCOPE

   Several successful logic programming languages, evidenced by the availability
   of a multitude of solvers, industrial applications, and an active research
   community, have been proposed in the literature. Researchers have long
   recognized the need for epistemic operators in these languages. This led to a
   flurry of research on this topic, and renewed interest in recent years. A
   central question is that of the definition of a rigorous and intuitive
   semantics for such epistemic operators, which is still subject of ongoing
   research. Notions of equivalence, structural properties, and the
   inter-relationships between logic programming languages and established logics
   are all subjects being actively investigated. Another important topic is that
   of practical solvers to compute answers to logic programs that contain
   epistemic operators. Several solvers are actively developed, building on
   established solvers, or using rewriting-based approaches. For practical
   applications, additional language features are actively explored in order to
   be able to apply epistemic extensions of logic programming langauges to
   practical problems. The goal of this workshop is to facilitate discussions
   regarding these topics and a productive exchange of ideas.

   Topics of interests include (but are not limited to):

   - Semantics of epistemic operators in logic programming
   - New methods for solving epistemic extensions of logic programs
   - Computational properties of epistemic extensions of logic programs
   - Relating epistemic extensions of logic programs with other logic-based
     formalisms
   - Practical applications of logic programming extended with epistemic
     extensions
   - Additional language features
   - Multi-paradigm problem solving involving epistemic extensions of logic
     programming
   - Evaluation and comparison of logic programs with epistemic extensions to
     other paradigms
   - Grounding of non-ground logic programs programs with epistemic extensions

SUBMISSION GUIDELINES

   We welcome two categories of submissions:

   - Full Papers, that is, original, unpublished research (at most 15 pages), and
   - Extended Abstracts of already published research (at most 2 pages).

   All submissions should be in the Springer LNCS format.

   Paper submission will be handled electronically by means of the Easychair
   system. All submissions will be peer-reviewed. The submission page is
   available here: http://www.easychair.org/conferences/?conf=eelp2019.

   EELP is a non-archival venue and there will be no published proceedings.
   However, informal proceedings will be provided and the papers will be posted
   informally on the workshop website. Submissions to other conferences and
   journals both in parallel and subsequent to EELP 2019 are allowed.

IMPORTANT DATES

   Abstract submission: July 10, 2019 AoE
   Paper submission: July 12, 2019 AoE
   Notification: August 9, 2019
   Camera-ready: August 30, 2019 AoE
   Workshop Dates: September 20-25, 2019 at ICLP 2019

ORGANIZERS AND CO-CHAIRS

   Wolfgang Faber, University of Klagenfurt
   Michael Morak, University of Klagenfurt

CONTACT

   Please direct any questions to eelp2019@easychair.org.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam