== JELIA 2021 CALL FOR PAPERS ==

JELIA 2021 - https://jelia2021.aau.at

Submission deadlines extended to 16/23 December 2020!

== 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 16 December 2020 (AoE)
Paper submission 23 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.

== CONFERENCE CHAIRS ==

Wolfgang Faber
Gerhard Friedrich
Martin Gebser

== PROGRAMME COMMITTEE ==

[not yet complete]

Jose Julio Alferes
Mario Alviano
Grigoris Antoniou
Carlos Areces
Franz Baader
Peter Baumgartner
Leopoldo Bertossi
Armin Biere
Alexander Bochman
Bart Bogaerts
Gerhard Brewka
Pedro Cabalar
Marco Calautti
Francesco Calimeri
Giovanni Casini
Lukas Chrpa
Mehdi Dastani
Thomas Eiter
Eduardo Fermé
Michael Fisher
Sarah Alice Gaggl
Laura Giordano
Markus Hecher
Tomi Janhunen
Gabriele Kern-Isberner
Sébastien Konieczny
Roman Kontchakov
Jérôme Lang
Joao Leite
Vladimir Lifschitz
Emiliano Lorini
Thomas Lukasiewicz
Marco Maratea
Pierre Marquis
Angelo Montanari
Michael Morak
Manuel Ojeda-Aciego
Magdalena Ortiz
David Pearce
Luís Moniz Pereira
Rafael Peñaloza
Andreas Pieris
Francesco Ricca
Chiaki Sakama
Michael Thielscher
Leon van der Torre
Mirek Truszczynski
Mauro Vallati
Ivan Varzinczak
Joost Vennekens
Carlos Viegas Damásio
Toby Walsh
Antonius Weinzierl
Stefan Woltran

== 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.