FYI, probabilistic techniques is one of the highlighted topics

From: jelia2021
Sent: Friday, December 4, 2020 7:43 AM

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