[PlanetKR] CFP: 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022)

[Jesse Heyninck]

CALL FOR PAPERS

19th Conference on Principles of Knowledge Representation and Reasoning
(KR2022)

July 31 - August 5, 2022, Haifa, Israel

https://kr2022.cs.tu-dortmund.de/

Knowledge Representation and Reasoning (KR) is a well-established and
lively field of research. In KR a fundamental assumption is that an agent's
knowledge is explicitly represented in a declarative form, suitable for
processing by dedicated reasoning engines. This assumption, that much of
what an agent deals with is knowledge-based, is common in many modern
intelligent systems. Consequently, KR has contributed to the theory and
practice of various areas in AI, including automated planning and natural
language understanding, and to fields beyond AI, including databases,
verification, software engineering, and robotics. In recent years, KR has
contributed also to new and emerging fields, including the semantic web,
computational biology, cyber security, and the development of software
agents.

The KR conference series is the leading forum for timely in-depth
presentation of progress in the theory and principles underlying the
representation and computational management of knowledge.


** IMPORTANT DATES **

* Submission of title and abstract: February 2, 2022
* Paper submission deadline: February 9, 2022
* Author response period: March 29-31, 2022
* Author notification: April 15, 2022
* Camera-ready papers: May 7, 2022
* Conference: July 31 - August 5, 2022


** SCOPE **

We solicit papers presenting novel results on the principles of KR that
clearly contribute to the formal foundations of relevant problems or show
the applicability of results to implemented or implementable systems. We
also welcome papers from other areas that show clear use of, or
contributions to, the principles or practice of KR. We also encourage
"reports from the field" of applications, experiments, developments, and
tests.

Topics of interest include, but are not limited to:

- Applications of KR
- Argumentation
- Belief revision, belief update and belief merging
- Commonsense reasoning
- Computational aspects of knowledge representation
- Concept formation, similarity-based reasoning
- Contextual reasoning
- Decision making
- Description logics
- Explanation finding, diagnosis, causal reasoning, abduction
- Geometric, spatial, and temporal reasoning
- Inconsistency- and exception-tolerant reasoning
- KR and autonomous agents and multi-agent systems
- KR and cognitive modelling
- KR and cognitive reasoning
- KR and cognitive robotics
- KR and cognitive systems
- KR and cyber security
- KR and education
- KR and game theory
- KR and machine learning, inductive logic programming, knowledge
acquisition
- KR and natural language processing and understanding
- KR and the Web, Semantic Web
- Knowledge graphs and open linked data
- Knowledge representation languages
- Logic programming, answer set programming
- Modelling and reasoning about preferences
- Multi- and order-sorted representations and reasoning
- Nonmonotonic logics, default logics, conditional logics
- Ontology formalisms and models
- Ontology-based data access, integration, and exchange
- Philosophical foundations of KR
- Qualitative reasoning, reasoning about physical systems
- Reasoning about actions and change, action languages
- Reasoning about constraints, constraint programming
- Reasoning about knowledge, beliefs, and other mental attitudes
- Uncertainty, vagueness, many-valued and fuzzy logics

The KR2022 program will also feature workshops and tutorials, solicited by
means of an open call, as well as a doctoral consortium.


** TRACKS AND SPECIAL SESSIONS **

In addition to the main conference track, KR2022 will host the following
tracks and sessions:

- Applications and Systems Track
- Recently Published Research Track
- Special Session on KR and Machine Learning
- Special Session on KR and Robotics

The Recently Published Research track, workshops, tutorials, and the
doctoral consortium have different submission and notification dates, which
are listed on the conference website.

** CO-LOCATED EVENTS **
KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in
Haifa, Israel (https://floc2022.org/), and will be co-located with the 20th
International Workshop on Non-Monotonic Reasoning (NMR 2022) and the 35th
International Workshop on Description Logics (DL 2022).

** AUTHOR GUIDELINES AND SUBMISSION INFORMATION **

All submissions must be written in English and formatted using the style
files
provided on the KR'22 website. Papers must be submitted in PDF format,
through
the EasyChair conference system:

https://easychair.org/conferences/?conf=kr2022

For the main conference track and additional tracks/sessions (except for
the Recently Published Research track), we invite

- Full papers of up to 9 pages, including abstract, figures, and appendices
(if any), but excluding references and acknowledgements.

- Short papers of up to 4 pages, excluding references and acknowledgements.

Both full and short papers must describe original, previously unpublished
research, and must not simultaneously be submitted for publication
elsewhere. These restrictions do not apply to previously accepted workshop
papers with a limited audience and/or without archival proceedings, and to
papers uploaded at public repositories (e.g., arXiv).

Authors may optionally submit a separate PDF containing additional
information that substantiates the claims made in their paper, such as
proof details, additional experimental results, further details on
experimental design, etc. If authors wish to make such material available
to reviewers, they should do so by submitting a file through EasyChair,
rather than by including links or references in their paper. The main paper
must be self-contained, as the supplementary material will not be
published. Reviewers will have the option, but not the obligation, to
consult the supplementary material.

The preceding submission guidelines apply to the main track, as well as to
the Applications and Systems track, the KR & Machine Learning special
session, and the KR & Robotics special session. Different submission
guidelines apply to the Recently Published Research track, workshops,
tutorials, and the Doctoral Consortium, which will be announced separately.


** CONFERENCE CHAIRS **

General Chair:
Gerhard Lakemeyer (RWTH Aachen University, Germany)

Program Chairs:
Gabriele Kern-Isberner (TU Dortmund, Germany)
Thomas Meyer (University of Cape Town and CAIR, South Africa)

Workshop and Tutorial Chairs:
Stefan Borgwardt (TU Dresden, Germany)
Maria Vanina Martinez (University of Oxford, UK)

Applications & Systems Track Chairs:
Alessandro Antonucci (IDSIA, Switzerland )
Matthias Thimm (University of Hagen, Germany)

Special Session on KR & Machine Learning Chairs:
Steven Schockaert (Cardiff University, UK)
Fabio Cozman (University of Sao Paulo, Brazil)

Special Session on KR & Robotics Chairs:
Gabriella Cortellessa (National Research Council, Italy)
Enrico Motta (The Open University, UK)

Recently Published Research Track Chairs:
Ivan Varzinczak (Université d’Artois and CRIL, France)
Sebastian Rudolph (TU Dresden, Germany)

Doctoral Consortium Chairs:
Giovanni Casini (ISTI - CNR Pisa, Italy)
Jandson Santos Ribeiro Santos (University of Hagen, Germany)

Local Chair:
Ofer Arieli (Academic College of Tel Aviv-Yaffo, Israel

Sponsorship Chairs:
Martin Homola (Comenius University of Bratislava, Slovakia)
Vladislav Ryzhikov Birkbeck (University of London, UK)

Publicity Chairs:
Elena Botoeva (University of Kent, UK)
Jesse Heyninck (TU Dortmund, Germany, and University of Cape Town and CAIR,
South Africa)
Marco Wilhelm (TU Dortmund, Germany)

Diversity and Inclusion Chairs:
Renata Wassermann (University of Sao Paulo, Brazil)
Yazmin Ibanez-Garcia (Cardiff University, UK)
Abhaya Nayak (Macquarie University, Sydney, Australia)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20211127/1cd519a9/attachment-0001.htm>