Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004)

Edited by Didier Dubois, Christopher Welty, and Mary-Anne Williams

The Knowledge Representation (KR) 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 cover a wide range of topics, including representation formalisms; reasoning techniques; implemented KR&R systems; significant applications to cognitive robotics, planning, conceptual modeling, decision-making, software engineering, querying large databases, and web technologies. These proceedings are an essential reference volume for researchers and students interested in a detailed view of this key research area.