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

International Conference on the Principles of Knowledge Representation and 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)

Monthly Featured

Featured Provider

The biennial 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.

Conference History:

18th KR 2021, 6-12 November 2021, Hanoi, Vietnam Virtual venue
(Host: East Asia University of Technology)

    Pre-conference Workshops ():
    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 ():
    Completeness, Recall, and Negation in Open-World Knowledge Bases
    KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness

    Conference Sessions:
    Applications and Systems Track
    Recent Published Research Track
    Special Session: KR And Machine Learning
    Special Session: 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 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 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 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 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 1996, November 5-8, 1996, Cambridge, Massachusetts, USA

    Co-located Workshops/Conferences:
    International Description Logics Workshop (DL), AAAI Fall 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 and Reasoning (KR)*”

Leave a Reply

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