Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000) Breckenridge, Colorado, USA 12-15 April 2000 (colocated with AIPS2000 and workshops including NMR'2000)

• Conference Information and Registration Brochure
• Registration Form
• Authors: Formatting Information for the Proceedings
• Authors: Presentation Aids
• Technical Program Schedule
  • Best Paper Awards
• Call for Papers

Explicit representations of knowledge manipulated by inference algorithms provide an important foundation for much work in Artificial Intelligence, including natural language dialogue systems, high level vision, robotics and other knowledge based systems.

The 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 traditional very high standard of papers will be maintained at KR2000.

Expanding on that role, KR2000 will be a place for the exchange of news, issues, and results among the entire community of researchers in the principles and practices of knowledge representation and reasoning systems.

KR, Inc., Principles of Knowledge Representation and Reasoning, Incorporated (http://www.kr.org/). The KR Mailing List facility to distribute official and other announcements about the KR conferences and workshops (kr-majordomo@kr.org). The conference style files for typesetting accepted papers.

Go to KR Home Page