
International Conference on the Principles of Knowledge Representation & Reasoning (KR)*
No warranty for correctness & completeness!
This site will be updated with no ads and linked to its KMedu opportunities
as soon as the provider subscribes to this service!
(sample pages: training, university, community, conference)

The International Conference on the Principles of Knowledge Representation and Reasoning (KR) is a leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
Until 2020 KR was a biennial conference.
Conference History:
21st KR 2024, Hanoi, Vietnam
(Host: TBD)
-
Conference Program TBD
20th KR 2023, September 2-8, 2023, Rhodes, Greece
(Host: Department of Electrical and Computer Engineering, Division of Telecommunications & Information Technology, University of Patras)
-
Pre-conference Workshops: (Sep 2-4)
4th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023)
First International Workshop on Argumentation and Applications (Arg&App 2023)
The Second Workshop on Knowledge Diversity (KoDis)
CME: the 2nd International Workshop on Computational Machine Ethics
Graphical Reasoning with Imperfect Data (GRID)
The Seventh Image Schema Day (ISD7)
AI-driven Heterogeneous Data Management : Completing, Merging, Handling Inconsistencies and Query-answering (ENIGMA-2023)
Cognitive Aspects of Knowledge Representation (CAKR)
Pre-conference Tutorials: (Sep 2-4)
Towards Causal Foundations of Safe AI
Concept Learning in Description Logics
Strategic Reasoning in Automated Mechanism Design
Termination Analysis of Rule-based Ontological Reasoning
Statistical Relational AI – Exploiting Symmetries
How KR Benefits from Formal Concept Analysis
Special Sessions: (CANCELLED)
Knowledge Representation and Reasoning (KR) and Machine Learning (ML)
Knowledge Representation and Reasoning (KR), Robotics & Planning
Sessions:
KRR Application
Computational aspects of knowledge representation (and uncertainty)
Explainable AI (and Preferences)
Learning
Commonsense Reasoning
Belief Revision and Update
Automated Reasoning and Argumentation
Multi-Agent Systems and Knowledge Compilation
Applications of KR
Argumentation (& Explainable AI)
Belief Revision
Description Logic
Planning
Constraint Acquisition and Description Logic
Reasoning about Knowledge and Knowledge Compilation
Doctoral Consortium Sessions
Invited Talks:
How to Make Logics Neurosymbolic
Knowledge Representation in the Languages of Logic Programs under Answer Set Semantics
On the need of semantics when tackling Knowledge Graph completion under a Machine Learning perspective
ASP in Industry, here and there
Reasoning about reasoning about reasoning: from logic to the lab
Leading Innovation and Collaboration in Knowledge Representation Research (Doctoral Consortium)
KR Manifesto
Co-located Workshops: (Sep 2-4)
21st International Workshop on Non-Monotonic Reasoning (NMR 2023)
36th International Workshop on Description Logics (DL 2023)
19th KR 2022, July 31 – August 5, 2022, Technion, Haifa, Israel
(Host: Department of Computer Science, Technion – Israel Institute of Technology; part of FLoC 2022 – the Federated Logic Conference, Jul 31 – Aug 12)
-
Pre-conference Workshops: (July 31 – Aug 1)
XLoKR 2022 – Third Workshop on Explainable Logic-Based Knowledge Representation
PCCR 2022 – Third Workshop on Parameterized Complexity of Computational Reasoning
Pre-conference Tutorials: (July 31 – Aug 1)
Assumption-Based Nonmonotonic Reasoning
Belief Change, Ontology Repair and Evolution
DatalogMTL: Theory and Practice of Temporal Reasoning
Hybrid Temporal Situation Calculus Planning with Continuous Processes: Semantics
Referring Expressions in Artificial Intelligence and Knowledge Representation Systems
Logic meets Learning + Explainable Machine Learning
Presentation Sessions:
Knowledge Graphs; Epistemic Logic; Automated Reasoning; Strategic Reasoning; Planning; Deontic Logic; Diversity and Inclusion Grants Session
Conference Paper Sessions:
Multi-Agent Systems; Doctoral Consortium; Temporal Reasoning; Description Logics; KR & Machine Learning; Recently Published Research; Conditionals; Actions; Argumentation; Belief Revision; Belief Revision/RDFS; Systems & Robotics; Description Logics; Systems & Robotics / Existential Rules; Belief Merging / Revision; Datalog & Existential Rules
Invited Talks:
Neuro-Symbolic Adventures on Commonsense Knowledge and Reasoning
Probabilities, Reasoning, and Argumentation
From Non-monotonic Reasoning to Argumentation and Commonsense (Great Moments in KR Talk)
Graph Queries: Do We Study What Matters?
Report Back on Dagstuhl Perspectives Workshop: Current and Future Challenges in Knowledge Representation and Reasoning
18th KR 2021, 6-12 November 2021, Hanoi, Vietnam Virtual venue
(Host: East Asia University of Technology)
-
Pre-conference Workshops (Nov 3-7):
6th International Workshop on Semantics-Powered Health Data Analytics (SEPDA 2021)
Explainable Logic-Based Knowledge Representation (XLoKR 2021)
Workshop on Benefits of Using Ontologies in Artificial Intelligence
Knowledge Representation for Hybrid and Compositional AI (KRHCAI)
Pre-conference Tutorials (Nov 3-7):
Completeness, Recall, and Negation in Open-World Knowledge Bases
KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness
Conference Sessions:
Reasoning about Actions; KR Languages; Temporal & Spatial Reasoning; Robotics / Knowledge Graphs; Epistemic Logic; Special Sessions: KR And Machine Learning; KR And Robotics
Doctoral Consortium
17th KR 2020, 12-18 September 2020, Rodhes, Greece Virtual venue
(Host: Department of Computer Engineering and Informatics, University of Patras)
-
Pre-conference Workshops (Sep 12-14):
Explainable Logic-Based Knowledge Representation (XLoKR 2020); Knowledge Representation for All Minds (KR4AMinds; CANCELLED)
Pre-conference Tutorials (Sep 12-14):
Practical Uses of Existential Rules in Knowledge Representation
Conference Sessions:
Knowledge Representation & Robotics; Ontologies; Knowledge Representation & Machine Learning; Ontologies and Knowledge Graphs
Co-located Workshops/Conferences:
International Workshop on Description Logics (DL, Sep 12-14), International Workshops on Nonmonotonic Reasoning (NMR, Sep 11-13)
16th KR 2018, October 30-November 2, 2018, Tempe, Arizona, USA
-
Doctoral Consortium, Oct 30-Nov 2
Pre-conference Workshops (Oct 27-29):
Knowledge Representation in Natural Languages [Canceled]; First Workshop on Induce and Deduce: Integrating learning of representations and models with deductive, explainable reasoning that leverages knowledge
Pre-conference Tutorials (Oct 27-29):
Implementing Knowledge Representation Approaches with Tweety [Canceled]; Knowledge, Strategy, and Know-How
Co-located Workshops/Conferences (Oct 27-29):
International Workshop on Description Logics (DL), International Workshops on Nonmonotonic Reasoning (NMR)
15th KR 2016, April 25-29, 2016, Cape Town, South Africa
-
Doctoral Consortium, Apr 25-29
Tutorials (Apr 25):
Probabilistic Databases and Reasoning; Argumentation Frameworks for Explanation-Based Reasoning; Query Answering over Existential Rules; Belief Revision
Co-located Workshops/Conferences (Apr 22-24):
International Workshop on Description Logics (DL); International Workshop on Non-Monotonic Reasoning (NMR)
14th KR 2014, July 20-24, 2014, Vienna University of Technology, Vienna, Austria
-
Doctoral Symposium, Jul 20-24
Tutorials (Jul 20):
Dynamic Epistemic Logic and its Interaction with Knowledge Representation; Natural Language Understanding with World Knowledge and Inference; Query Answering and Rewriting in Ontology-Based Data Access; Verification of Multi-Agent Systems against Epistemic Specifications
Co-located Workshops/Conferences (Jul 20-24):
International Workshop on Description Logics (DL); International Workshop on Non-Monotonic Reasoning (NMR); Workshop on Knowledge Representation for Health Care (KR4HC); Federated Logic Conference; Logic Colloquium
13th KR 2012, 10-14 June 2012, Rome, Italy
-
Doctoral Consortium
Tutorials:
Modeling and Solving in Answer Set Programming; Graph-Based Methods for Problem Decomposition – room B2, 10:00-13:15 – material; Introduction to Social Choice; IBM Watson
Co-located Workshops/Conferences:
International Workshop on Description Logics (DL); International Workshops on Non-monotonic Reasoning (NMR); Symposium on Artificial Intelligence (AI*IA); Computational Logic (CILC); International Workshop on Knowledge-intensive Business Processes (KiBP)
12th KR 2010, May 9-13, 2010, Toronto, Canada
-
Doctoral Consortium
Tutorials:
Satisfiability with and without Theories; Reasoning in DLs: Expressive Power vs. Computational Complexity; Computational Complexity of Action Planning; What if you Wanted someone (else) to Use this? Usability Heuristics for KR tool & representation design
Co-located Workshops/Conferences:
International Workshop on Description Logics (DL); International Workshops on Non-monotonic Reasoning (NMR); International Conference on Autonomous Agents and Multiagent Systems (AAMAS); International Conference on Formal Ontology in Information Systems (FOIS); International Conference on Automated Planning and Scheduling (ICAPS)
11th KR 2008, September 16-19, 2008, Sydney, Australia
-
Workshops: Knowledge Representation Ontology Workshop (KROW); Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS)
Tutorials: Knowledge Representation Techniques for General Game Playing; Argumentation Systems
Co-located Workshops/Conferences:
International Workshops on Non-monotonic Reasoning (NMR); International Conference on Automated Planning and Scheduling (ICAPS); International Conference on Principles and Practice of Constraint Programming (CP)
10th KR 2006, June 2-5, 2006, Lake District, UK
-
Doctoral Consortium
Tutorials:
Co-located Workshops/Conferences:
9th KR 2004, June 2-5, 2004, Whistler, Canada
-
Doctorial Consortium
Co-located Workshops/Conferences:
International Workshop on Nonmonotonic Reasoning (NMR), International Workshop on Description Logics (DL), Workshop on Formal Biomedical Knowledge Representation (KR-MED), International Conference on Automated Planning and Scheduling (ICAPS)
8th KR 2002, April 22-25, 2002, Toulouse, France
-
Co-located Workshops/Conferences:
International Workshop on Non-Monotonic Reasoning (NMR), International Workshop on Description Logics (DL), International Workshop on Knowledge Representation meets Databases (KRDB), Workshop on Formal Ontology, Knowledge Representation and Intelligent Systems for the World Wide Web (SemWeb), Workshop on Logics for Agent-Based Systems (LABS), International Conference on Knowledge Systems for Coalition Operations (KSCO), International Conference on Artrificial Intelligence Planning & Scheduling (AIPS)
7th KR 2000, 12-15 April 2000, Breckenridge, Colorado, USA
-
Co-located Workshops/Conferences:
International Workshop on Non-Monotonic Reasoning (NMR), International Conference on Artrificial Intelligence Planning & Scheduling (AIPS)
6th KR 1998, June 2-5, 1998, Trento, Italy
-
Co-located Workshops/Conferences:
International Workshop on Nonmonotonic Reasoning (NM), International Workshop on Knowledge Representation for Interactive Multimedia Systems: Research and Experience (KRIMS), Workshop on Validation & Verification of Knowledge-Based Systems (KBS V&V), International Description Logics Workshop (DL), International Conference on Formal Ontology in Information Systems (FOIS), (CANCELED) Workshop on Roles for Knowledge Representation in Natural Language (KRNL)
5th KR 1996, November 5-8, 1996, Cambridge, Massachusetts, USA
-
Co-located Workshops/Conferences:
International Description Logics Workshop (DL); Association for the Advancement of Artificial Intelligence Fall Symposium (AAAI Fall Symposium: “Acquisition, Learning and Demonstration: Automating Tasks for Users” Symposium)
4th KR 1994, May 24-27, 1994, Gustav Stresemann Institut, Bonn, Germany
(in cooperation with the American Association for Artificial Intelligence and the International Joint Conferences on Artificial Intelligence, Inc.)
…
How can I participate?
(KMedu Hub Note: Replied by eMail on Oct 22, 2019 – Boris)