Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference (KR-12)
The Knowledge Representation and Reasoning (KR&R) conferences have established themselves as the leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational manipulation of knowledge. The papers in this volume have passed a stringent review process and comprise technical papers as well as reports from the field, covering a wide range of topics including representation formalisms; reasoning techniques and computational complexity; implemented KR&R systems and applications; formal and experimental analysis; and theoretical foundations. They make significant contributions to KR logics, beliefs and belief revision, declarative programming, ontologies, reasoning about actions and planning, argumentation and preferences, and spatial and temporal reasoning. These proceedings are an essential reference for researchers and students interested in the state-of-the-art of this key research area.