5. KR 1996: Cambridge, Massachusetts, USA

Situated Calculus

Actions and Events

Ramification

Planning

Constraints

Robotics

Spatial Representation and Reasoning

Recognition and Diagnosis

Inheritance

Description Logics: Reasoning Techniques

Description Logics: Expressivity and Complexity

Complexity Measures

Deductive Systems

Belief Revision

Preference Logic

Nonmonotonic Reasoning

Nonmonotonic Logics and Logic Programming

Desision Theory

Reports on Implementations

Psychological and Philosophical Connections

Invited Talks

Panels

maintained by Schloss Dagstuhl LZI at University of Trier