== CALL FOR PAPERS ==

== AIM AND SCOPE ==

The Program Committee of the 17th European Conference on Logics in
Artificial Intelligence (JELIA 2021) invites the submission of
technical papers for the conference that will be held in Klagenfurt,
Austria, from May 17th to May 20th, 2021, circumstances permitting.
The conference could also be held in a hybrid (physical presence and
online) or online-only mode, depending on the development of the
Covid-19 pandemic.

The aim of JELIA 2021 is to bring together active researchers
interested in all aspects concerning the use of logics in Artificial
Intelligence to discuss current research, results, problems, and
applications of both theoretical and practical nature. JELIA strives
to foster links and facilitate cross-fertilisation of ideas among
researchers from various disciplines, among researchers from academia
and industry, and between theoreticians and practitioners.

Authors are invited to submit papers presenting original and
unpublished research in all areas related to the use of logics in
Artificial Intelligence including:

* Abductive and inductive reasoning
* Applications of logic-based AI systems
* Argumentation systems
* Automated reasoning including satisfiability checking and its extensions
* Causality and logics
* Computational complexity and expressiveness
* Deep learning for rules and ontologies
* Deontic logic and normative systems
* Description logics and other logical approaches to Semantic Web and ontologies
* Diagnosis and logics
* Explanation finding
* Knowledge representation, reasoning, and compilation
* Logic programming, answer set programming, constraint logic programming
* Logic-based data access and integration
* Logics and machine learning
* Logics for uncertain and probabilistic reasoning
* Logics in multi-agent systems, games, and social choice
* Neural networks and logic rules
* Non-classical logics, such as modal, temporal, epistemic, dynamic,
spatial, paraconsistent, and hybrid logics
* Nonmonotonic logics, default logics, conditional logics
* Ontology formalisms and models
* Ontology-based reasoning and query answering
* Planning based on logic
* Preferences and optimization
* Reasoning about actions
* Updates, belief revision and nonmonotonic reasoning


== IMPORTANT DATES ==

Abstract submission deadline               10 December 2020 (AoE)
Paper submission                           17 December 2020 (AoE)
Notification of acceptance                 15 February 2021
Camera-ready due                           15 March    2021
Conference starts                          17 May      2021
Conference ends                            20 May      2021

== SUBMISSION DETAILS ==

Submission Site: https://easychair.org/conferences/?conf=jelia2021

JELIA 2021 welcomes submissions of long or short papers in the following
categories:

Regular papers. Submissions should contain original research, and
sufficient detail to assess the merits and relevance of the contribution.
Submissions must not have been previously published or be simultaneously
submitted for publication elsewhere; see also the note below.

System/Application descriptions. Submissions should describe an
implemented system/application and its application area(s). A
demonstration should accompany a system/application presentation. Papers
describing systems or applications that have already been presented in
JELIA before will be accepted only if significant and clear enhancements
have been implemented and are properly reported.

All submissions should not exceed 13 pages for long papers and 6 pages
for short papers (excluding references, including everyting else, for
example figures), and should be written in English. Submissions must be
formatted according to the standard Springer LNCS style, and are not
anonymous. The conference proceedings of JELIA 2021 will be
published by Springer Verlag in the series Lecture Notes in Artificial
Intelligence, a sub-series of Lecture Notes in Computer Science
(important note: Springer will require all the LaTeX source files of all
accepted submissions).

JELIA 2021 is happy to announce that there will be Best Paper and Best
Student Paper Prizes sponsored by Springer, each is a cash prize
amounting to EUR 500.


== POLICY ON MULTIPLE SUBMISSIONS ==

JELIA 2021 will not accept any paper that, at the time of submission, is
under review or has already been published or accepted for publication in
a journal or another conference. Authors are also required not to submit
their papers elsewhere during JELIA's review period. However, these
restrictions do not apply to previous workshops with a limited audience
and without archival proceedings.