\n

Several s uccessful logic programming languages, evidenced b y the availability of a multitude of solvers, indu strial applications, and an active research commun ity, have been proposed in the literature. Researc hers have long recognized the need for epistemic o perators 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 d efinition of a rigorous and intuitive semantics fo r such epistemic operators, which is still subject of ongoing research. Notions of equivalence, stru ctural properties, and the inter-relationships bet ween logic programming languages and established l ogics are all subjects being actively investigated . Another important topic is that of practical sol vers to compute answers to logic programs that con tain epistemic operators. Several solvers are acti vely developed, building on established solvers, o r using rewriting-based approaches. For practical applications, additional language features are act ively explored in order to be able to apply episte mic extensions of logic programming langauges to p ractical problems. The goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas.

\n\nThis workshop is part of the International Conference o f Logic Programming (ICLP) 2020. In keeping with t he main conference, the workshop will be held as a fully virtual event this year.

\n\n

URL:https://www.semsys.aau.at/events/eelp2020/
CONTACT:eelp2020 at easychair.org
END:VEVENT
END:VCALENDAR
We welcome two categories of submissions: Ful l Papers, that is, original, unpublished research (at most 15 pages), and Extended Abstracts of alre ady published research (at most 2 pages). All subm issions should be in the Springer LNCS format.

\n