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 in 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 and diagnosis based on logic
Preferences and optimization
Reasoning about actions and causality
Updates, belief revision and nonmonotonic reasoning