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)


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.

Conference Committee

Conference chair
Anthony G. Cohn
Division of AI
School of Computer Studies
University of Leeds
Leeds, LS2 9JT, UK
Program chairs
Fausto Giunchiglia
Automated Reasoning Systems Division
ITC-IRST, Povo, 38050 Trento, Italy

Bart Selman
Computer Science Department
Cornell University
Ithaca, NY 14853-7501, USA

Local arrangements chair
Deborah L. McGuinness
Stanford University
Stanford, CA 94305
Workshops coordination chair
Mary-Anne Williams
U. Newcastle, Newcastle, Australia
Publicity chair
Peter Patel-Schneider
Bell Labs Research
600 Mountain Ave., 2A-427
Murray Hill, NJ 07974, USA
Neal Lesh
Mitsubishi Electric Research Laboratory
Cambridge, MA 02139

Sponsored by KR, Inc.

KRGo to KR Home Page.
Last modified: Fri Apr 14 10:16:35 EDT 2000