-------- Forwarded Message --------
==============================================================================
CALL FOR PAPERS
EELP 2022
The Third Workshop on Epistemic Extensions of Logic Programming
July 31, 2022
Haifa, Israel
https://www.semsys.aau.at/events/eelp2022/
==============================================================================
AFFILIATION
This workshop is part of the Federated Logic Conference (FLoC)
2022, to take
place in Haifa, Israel.
AIMS AND SCOPE
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
SUBMISSION GUIDELINES
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. The submission page
is
available here:
http://www.easychair.org/conferences/?conf=eelp2022.
EELP is a non-archival venue and there will be no published
proceedings.
However, informal proceedings will be provided and the papers will
be posted
informally on the workshop website. Submissions to other
conferences and
journals both in parallel and subsequent to EELP 2022 are allowed.
IMPORTANT DATES
Paper submission: May 10, 2022 AoE
Notification: June 15, 2022
Camera-ready: TBD
Workshop Dates: July 31, 2022, as a workshop of FLoC 2022
ORGANIZERS AND CO-CHAIRS
Wolfgang Faber, University of Klagenfurt
Jorge Fandinno, University of Nebraska Omaha
Michael Morak, University of Klagenfurt
CONTACT
Please direct any questions to
eelp2022@easychair.org.
--
Mailing-Liste:
wi@lists.kit.edu
Administrator:
wi-request@lists.kit.edu
Konfiguration:
https://www.lists.kit.edu/wws/info/wi