Call for Papers

EELP 2020: The Second Workshop on Epistemic Extensions of Logic Programming

Rendes, Italy, September 18-24, 2020

Due to the ongoing COVID-19 crisis, the workshop, in keeping with ICLP, will be held as a virtual event alongside the conference.

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. Click here for details.

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=eelp2020.

Important Dates

• Paper submission: August 14, 2020 AoE
• Notification: August 31, 2020
• Camera-ready: September 11, 2020
• Workshop Date: September 18-24, 2020, as a workshop of ICLP 2020

Proceedings

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 2020 are allowed.

Workshop Organizers and Co-Chairs

• Wolfgang Faber, University of Klagenfurt
• Jorge Fandinno, University of Potsdam
• Michael Morak, University of Klagenfurt

Program Committee

See here.