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