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

Topics of interest include, but are not limited to:

Applications of KR
Argumentation
Belief revision and update, belief merging, information fusion
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, paraconsistent logics
KR and autonomous agents and multi-agent systems
KR and cognitive robotics
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
Modeling 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 KR2021 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium.
Tracks

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

Applications and Systems Track
Recent Published Research Track

Special Session on KR and Machine Learning
Special Session on KR and Robotics


Important Dates

Submission of title and abstract: March 24, 2021
Paper submission deadline: March 31, 2021
Author response period: May 24-26, 2021
Notification: June 15, 2021
Camera-ready papers: July 14, 2021
Conference dates: November 6-12, 2021

The Recently Published Research track, workshops, tutorials, and the doctoral consortium will have different submission and notification dates, which will be announced separately.


Author Guidelines

All submissions must be written in English and in AAAI style. Papers must be submitted in PDF format, through the EasyChair conference system:

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

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).

Accepted full papers and short papers will be published in the KR2021 proceedings.

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. Please note that the main paper must be self contained, as the supplementary material will not be published. Moreover, 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. By contrast, 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
Esra Erdem (Sabanci University, Turkey)

Program Chairs
Meghyn Bienvenu (CNRS & University Bordeaux, France)
Gerhard Lakemeyer (RWTH Aachen University, Germany)

Applications and Systems Track:
Martin Gebser (University of Klagenfurt, Austria)
Ulrike Sattler (University of Manchester, UK)

Recently Published Research Track:
Vladimir Lifschitz (University of Texas at Austin, USA)
Pierre Marquis (Artois University & Institut Universitaire de France, France)

Special Session on KR & Machine Learning:
Vaishak Belle (University of Edinburgh, UK)
Luc de Raedt (KU Leuven, Belgium)

Special Session on KR & Robotics:
Alessandro Saffioti (University of Örebro, Sweden)
Mary-Anne Williams (University of Technology Sydney, Australia)

Workshop and Tutorials:
Markus Kroetzsch (TU Dresden, Germany)
Yongmei Liu (Sun Yat-sen University, China)

Doctoral Consortium:
Jens Classen (Simon Fraser University)
Magdalena Ortiz (TU Vienna, Austria)

Local Chairs
Thanh Van Dinh (East Asia University of Technology, Vietnam)
Tran Cao Son (NMSU, USA)
Long Tran-Thanh (University of Warwick, UK)
Giuseppe De Giacomo (Sapienza University, Italy)

Virtual Conference Arrangement Chairs
Stefan Borgwardt (TU Dresden, Germany)
Marco Console (Sapienza University, Italy)
Long Tran-Thanh (University of Warwick, UK)

Sponsorship Chairs
Kuldeep S. Meel (NUS, Singapore)
Zeynep G. Saribatur (TU Wien, Austria)

Publicity Chair
Thanh Van Dinh (East Asia University of Technology, Vietnam)
Paolo Felli (Free University of Bozen-Bolzano, Italy)