dblp.uni-trier.de www.uni-trier.de

5. AAAI 1986: Philadelphia, PA

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, August 11-15, 1986. Morgan Kaufmann, 1986, Two Volumes, Volume 1: Science

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

Copyright © Sat May 16 22:55:27 2009 by Michael Ley (ley@uni-trier.de)