17-20 May 2020
*17th European Conference on Logics in Artificial Intelligence (JELIA 2021)* May 17-20, 2021, Klagenfurt, Austria https://jelia2021.aau.at/cfp/ == 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 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. == 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. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam