Knowledge Representation and Reasoning (KR) is a well-established and lively field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. Consequently, KR has contributed to the theory and practice of various areas in AI, including agents, automated planning and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, robotics, computational biology, and cyber security.
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.
KR 2023 will consist of a number of tracks and events: the Main Track, the Applications & Systems Track, the special session on KR & ML, the special session on KR, Robotics & Planning, the Recently Published Research (RPR) Track, the Tutorials & Workshops, the Doctoral Consortium, and the Diversity and Inclusion Session. Details about all these events will be made available later. Contributions to the Main Track, the Applications & Systems Track, the special session on KR & ML, and the special session on KR, Robotics & Planning will take the form of papers that will be published in the proceedings of KR 2023. 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. Further details about the submission guidelines and the selection criteria to be considered for the special session on KR & ML, and the special session on KR, Robotics & Planning will be available in due time.
Submission Guidelines
The Main Track, the Applications & Systems Track, as well as the special session on KR & ML and the special session on KR, Robotics & Planning will allow contributions of both regular papers (up to 9 pages) and short papers (up to 4 pages), including abstract, figures, and (if any) appendices but excluding references and acknowledgements, prepared and submitted according to the authors guidelines provided in the submission page.
Important Dates
All dates are ‘Anywhere on Earth’, namely 23:59 UTC-12.
Submission of title and abstract: March 3, 2023Paper submission deadline: March 14, 2023Author response period: May 2-7, 2023Author notification: May 18, 2023Camera-ready papers: June 9, 2023- Conference: September 2-8, 2023
Topics of Interest
- Applications of KR
- Argumentation
- Belief revision and update, 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
- Knowledge acquisition
- Knowledge graphs and open linked data
- Knowledge representation languages
- KR and automated reasoning (satisfiability, QBF, model counting, knowledge compilation)
- 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,
- KR and natural language processing and understanding
- KR and the Web, Semantic Web
- Logic programming, answer set programming
- Modeling and reasoning about preferences
- Multi- and order-sorted representations and reasoning
- Non-monotonic logics, default logics, conditional logics
- Ontology-based data access, integration, and exchange
- Ontology formalisms and models
- 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