3. KR 1992: Cambridge, Massachusetts, USA

Planning and Temporal Reasoning

Specialized Reasoning

Issues in Multi-Agent Environments

Taxonomic Logics

Natural Language Processing

Deduction

Logics of Belief and Intention

Diagnosis and Abduction

Nonmonotonic Logics

Reasoning Architectures

Invited Talks and Panels

maintained by Schloss Dagstuhl LZI at University of Trier