6. KR 1998: Trento, Italy

Building, Merging, Revising Theories

Reasoning About Actions I

Logic Programming based Representations

Qualitative Spatio/Temporal Reasoning


Non Monotonic Reasoning


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
maintained by Schloss Dagstuhl LZI at University of Trier