KR: Principles of Knowledge Representation and Reasoning



Past:   Proceedings on DBLP

Future:  Post a CFP for 2021 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
KR 2020 International Conference on the Principles of Knowledge Representation and Reasoning
Sep 12, 2020 - Sep 18, 2020 Rhodes, Greece Mar 11, 2019 (Mar 4, 2019)
KR 2018 16th International Conference on Principles of Knowledge Representation and Reasoning
Oct 30, 2018 - Nov 2, 2018 Tempe, Arizona May 20, 2018 (May 13, 2018)
KR 2016 15th International Conference on Principles of Knowledge Representation and Reasoning
Apr 25, 2016 - Apr 29, 2016 Cape Town, South Africa Nov 28, 2015 (Nov 21, 2015)
KR 2012 13th International Conference on the Principles of Knowledge Representation and Reasoning
Jun 10, 2012 - Jun 14, 2012 Rome, Italy Dec 9, 2011 (Nov 30, 2011)
KR 2010 Twelfth International Conference on Principles of Knowledge Representation and Reasoning
May 9, 2010 - May 13, 2010 Toronto, Canada Nov 30, 2009
KR 2008 Eleventh International Conference on Principles of Knowledge Representation and Reasoning
Sep 16, 2008 - Sep 19, 2008 Sydney, NSW, Australia Apr 7, 2008 (Apr 3, 2008)

Present CFP : 2020

Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR, 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, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, 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.

We solicit two kinds of papers: full papers, presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems; and short papers describing applications, systems and/or demos, reports from the field of applications, experiments, developments, and tests. We also welcome (full or short) papers from other areas that show clear use of, or contributions to, the principles or practice of KRR.

The best paper of the conference will receive the 2018 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2018 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2018 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP.

Topics of interest include, but are not limited to:

Belief revision and update, belief merging, etc.
Computational aspects of knowledge representation
Concept formation, similarity-based reasoning
Contextual reasoning
Description logics
Decision making
Explanation finding, diagnosis, causal reasoning, abduction
Inconsistency- and exception tolerant reasoning, paraconsistent logics
KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems
KR and game theory
KR and machine learning, inductive logic programming, knowledge discovery and acquisition
KR and natural language processing
KR and the Web, Semantic Web
Logic programming, answer set programming, constraint logic programming
Multi- and order-sorted representations and reasoning
Nonmonotonic logics, default logics, conditional logics
Philosophical foundations of KR
Ontology formalisms and models
Preference modeling and representation, reasoning about preferences
Preference-based reasoning
Qualitative reasoning, reasoning about physical systems
Reasoning about actions and change, action languages, situation calculus, dynamic logic
Reasoning about knowledge and belief, epistemic and doxastic logics
Spatial reasoning and temporal reasoning
Uncertainty, representations of vagueness, many-valued and fuzzy logics


Related Resources

AAAI 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
CiVEJ 2020   Civil Engineering and Urban Planning: An International Journal
IJCSEIT 2020   International Journal of Computer Science, Engineering and Information Technology
TIME 2020   27th International Symposium on Temporal Representation and Reasoning
AIBD 2021   2nd International Conference on Artificial Intelligence and Big Data
KGRR 2021   Knowledge Graph Representation & Reasoning
IJAB 2020   International Journal of Advances in Biology
KRR@SAC 2021   Knowledge Representation and Reasoning (track of the 36th ACM/SIGAPP Symposium On Applied Computing)
SEMIT 2020   International Conference on Software Engineering and Managing Information Technology
RACES 2020   Workshop: Reasoning about ACtions and Events over Streams (RACES) held as part of KR 2020