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:

16th KR 2018, October 30-November 2, 2018, Tempe, Arizona, USA
Doctoral Consortium, Oct 30-Nov 2
Tutorials:
Co-located (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 (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 (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: 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: 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, 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: 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:

9th 2004, June 2-5, 2004, Whistler, Canada
Doctorial Consortium
Co-located: 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: 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: 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

Leave a Reply

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

(Manage your subscriptions)