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