International Conference on the Principles of Knowledge Representation & Reasoning (KR)*

International Conference on the Principles of Knowledge Representation & Reasoning (KR)*

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

Featured Provider

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

Home » Opportunities » Events

One Reply to “ International Conference on the Principles of Knowledge Representation & Reasoning (KR)*”

Leave a Reply

Your email address will not be published. Required fields are marked *