\n

Several s uccessful logic programming languages have been pr oposed in the literature. Researchers have long re cognized the need for epistemic operators in these languages. A central question is that of th e definition of a rigorous and intuitive semantics for such epistemic operators, which is still subj ect of ongoing research. Notions of equivalence, s tructural properties, and the inter-relationships between logic programming languages and establishe d logics are all subjects being actively investiga ted.

\n\nAnother important topic is that o f practical solvers to compute answers to logic pr ograms that contain epistemic operators. Several s olvers are actively developed, building on establi shed solvers, or using rewriting-based approaches. For practical applications, additional language f eatures are actively explored in order to be able to apply epistemic extensions of logic programming langauges to practical problems.

\n\nThe goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas. The workshop is part of the Internationa l Conference of Logic Programming (ICLP) 2019.

\n

URL:https://www.semsys.aau.at/events/eelp2019/
CONTACT:eelp2019 at easychair.org
END:VEVENT
END:VCALENDAR
We welcome two categories of sub missions:

\n\n- Full Papers, that is, orig inal, unpublished research (at most 15 pages), and - Extended Abstracts of already published researc h (at most 2 pages).