[Event at CIG] Call for Papers - JELIA 2023, the 18th European Conference on Logics in Artificial Intelligence

[Lucia Gomez Alvarez]

*** Apologies for cross-posting ***


JELIA 2023 FIRST CALL FOR PAPERS
18th European Conference on Logics in Artificial Intelligence (JELIA 2023)
September 20-22, 2023
TU Dresden, Germany
https://jelia2023.inf.tu-dresden.de/


== IMPORTANT DATES ==

Abstract submission: 22 May 2023
Paper submission: 25 May 2023
Notification of acceptance: 10 July 2023
Camera-ready due:  27 July 2023


The Program Committee of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023) invites the submission of technical papers for the conference that will be held in Dresden, Germany, from the 20th to the 22nd of September of 2023.


== AIMS AND SCOPE ==
The aim of JELIA 2023 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization 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, but not limited to:
* Abductive and inductive reasoning
* Applications of logic-based AI systems
* Argumentation
* Automated reasoning including satisfiability checking and its extensions
* Causality and logics
* Computational complexity and expressiveness
* Deontic logic and normative systems
* Description logics and other logical approaches to ontologies
* Knowledge representation, reasoning, and compilation
* Learning and reasoning
* Logic programming, answer set programming, constraint logic programming
* 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
* Planning and diagnosis based on logic
* Preferences and optimization
* Reasoning about actions
* Updates, belief revision and nonmonotonic reasoning

Submissions describing implemented systems/applications and their application area(s) are also welcome.


== SPECIAL TRACK ==

This year's conference will include a Special Track on Logics for Explainable and Trustworthy AI. We welcome contributions that describe logic-based approaches to making AI more transparent, safer, or more trustable.  The track aims to draw attention to this timely topic and create a space for discussing the role of logic. The papers accepted for the special track will be presented in dedicated sessions at the conference.


== AWARDS  ==

JELIA 2023 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. The Program Committee will select for this honor the contribution of the highest technical excellence and scientific merit. In the case of the latter award, the primary author of the paper must be a student at the time of submission.

In previous editions, the best paper of JELIA has been invited to the sister conference track of IJCAI, and the conference series intends to carry on with this tradition.

The authors of selected contributions of outstanding quality will be invited to submit an extended version of their work to the TPLP journal and will enjoy fast-track reviewing and publication.


== SUBMISSION DETAILS ==

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

JELIA 2023 welcomes submissions of long or short papers. All 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.

All submissions should not exceed 13 pages for long papers and 6 pages
for short papers (excluding references, including everything else, for
example figures), and should be written in English. Submissions must be
formatted according to the standard Springer LNCS style (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and are not anonymous. The conference proceedings of JELIA 2023 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).


== CONFERENCE CHAIRS ==

** General Chair
Sarah Alice Gaggl, TU Dresden, Germany


** Program Chairs
Maria Vanina Martinez, IIIA - CSIC, Spain
Magdalena Ortiz, Umeå University, Sweden


**Local Organization Chairs
Marcos Cramer • TU Dresden, Germany
Martin Diller • TU Dresden, Germany


**Technical Chairs
Stefan Borgwardt • TU Dresden, Germany
Stefan Ellmauthaler • TU Dresden, Germany


**Publicity Chairs
Bartosz Bednarczyk • TU Dresden, Germany and University of Wrocław, Poland
Lucía Gómez Álvarez • TU Dresden, Germany
Dominik Rusovac • TU Dresden, Germany


**Finance Chairs
Sarah Alice Gaggl • TU Dresden, Germany
Hannes Straß • TU Dresden, Germany


== POLICY ON MULTIPLE SUBMISSIONS ==

JELIA 2023 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.


Any additional questions can be directed towards the JELIA Chairs:


jelia2023 at easychair.org



_________________________
Dr. Lucía Gómez Álvarez
Computational Logic Group
Institute for Artificial Intelligence
Faculty of Computer Science
TU Dresden
GERMANY