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

Welcome to the 16th International Conference on Principles of Knowledge Representation and Reasoning to be held in Tempe, Arizona (USA) on October 30-November 2, 2018.

Co-located with DL 2018, NMR 2018

Knowledge Representation and Reasoning (KR) is an exciting, well-established    field of research. In KR a fundamental assumption is that an agent's    knowledge is explicitly represented in a declarative form, suitable for    processing by dedicated reasoning engines. This assumption, that much of    what an agent deals with is knowledge-based, is common in many modern    intelligent systems. Consequently, KR has contributed to the theory and    practice of various areas in AI, such as automated planning, natural language    understanding, among others, as well as to fields beyond AI, including    databases, verification, and software engineering. In recent years KR has    contributed to new and emerging fields including the semantic web,    computational biology, and the development of software agents.

KR 2018 will also feature workshop and tutorial programmes, solicited by means of an open call (TBA)

The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2018 will be a forum for the exchange and discussion of new ideas, issues, and results on the principles and practice of KR.