Third Workshop on Epistemic Extensions of Logic Programming

This workshop has fused with ASPOCP 2022.

The EELP 2022 workshop is organized by the University of Klagenfurt, Austria. The workshop, now in its third installment, will be hels as part of the Federated Logic Conference (FLoC) 2022, on July 31, 2022, in Haifa, Israel.

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

Third Workshop on Epistemic Extensions of Logic Programming

This workshop has fused with ASPOCP 2022.

Contents: