The Knowledge Management Education Hub

This is no official page!

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)

Monthly Featured

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:

20th KR 2023, September 2-8, 2023, Rhodes, Greece

(Host: Department of Electrical and Computer Engineering, Division of Telecommunications & Information Technology, University of Patras)

Conference Program TBD

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

…