News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

31 July 2022, The Third Workshop on Epistemic Extensions of Logic Programming (EELP 2022), Haifa, Israel

Date: Sunday 31 July 2022
Location: Haifa, Israel
Deadline: Thursday 26 May 2022

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.

This workshop is part of the Federated Logic Conference (FLoC) 2022, to take place in Haifa, Israel.

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. Paper submission will be handled electronically by means of the Easychair system. All submissions will be peer-reviewed. Submissions to other conferences and journals both in parallel and subsequent to EELP 2022 are allowed.

Please note that this newsitem has been archived, and may contain outdated information or links.