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