5. AAAI 1986: Philadelphia, PA

Automated Reasoning

Automated Reasoning

Automatic Programming

Planning

Qualitative Reasoning and Diagnosis

Search

Theorem Proving

Uncertainty and Expert Systems

Cognitive Modeling and Education

Knowledge Representation

Learning

Natural Language

Perception and Robotics

maintained by Schloss Dagstuhl LZI at University of Trier