3rd KR 1992: Cambridge, Massachusetts, USA

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics