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

6. KR 1998: Trento, Italy

Anthony G. Cohn, Lenhard K. Schubert, Stuart C. Shapiro (Eds.): Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998. Morgan Kaufmann, 1998

Building, Merging, Revising Theories

Reasoning About Actions I

Logic Programming based Representations

Qualitative Spatio/Temporal Reasoning

Diagnosis

Non Monotonic Reasoning

Planning

Representing Granularity and Vagueness

Belief Revision and Contextual Reasoning

Reasoning about Actions

Formal Results in Spatial Reasoning

Complexity of Reasoning

Logic Programming based Representations II

Planning and Execution

Building, Merging, Revising Theories

Description Logics and Graph Based Languages

Reasoning About Actions III

Probabilistic Reasoning

Planning II

Efficient Modal Reasoning

Invited Talks

Panel Abstract

Chair: Lin Padgham

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