\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.

\nThis wo rkshop is part of the Federated Logic Conference ( FLoC) 2022, to take place in Haifa, Israel.

\n

URL:https://www.semsys.aau.at/events/eelp2022/
CONTACT:eelp2022 at easychair.org
END:VEVENT
END:VCALENDAR
We welcome two categories of submis sions: Full Papers, that is, original, unpublished research (at most 15 pages), and Extended Abstrac ts of already published research (at most 2 pages) . All submissions should be in the Springer LNCS f ormat. Paper submission will be handled electronic ally by means of the Easychair system. All submiss ions will be peer-reviewed. Submissions to other c onferences and journals both in parallel and subse quent to EELP 2022 are allowed.