dblp.uni-trier.de www.uni-trier.de

7. KR 2000: Breckenridge, Colorado, USA

Anthony G. Cohn, Fausto Giunchiglia, Bart Selman (Eds.): KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000. Morgan Kaufmann Publishers

Spatial Reasoning

Non Monotonic Reasoning 1

Representation of Action

Integration of Knowledge Sources

Automated Reasoning 1


Description Logics


Temporal Reasoning 1

Automated Reasoning 2

Learning and Decision Making

Applications and Systems

Representation Formalisms

Temporal Reasoning 2

Knowledge Engineering

Non Monotonic Reasoning 2

Planning (Joint program with AIPS 2000)

Panel Abstracts

Acknowledgement: The information on this page was contributed by Andrei Voronkov

Copyright © Sat May 16 23:28:17 2009 by Michael Ley (ley@uni-trier.de)