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