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


Qualitative Reasoning and Diagnosis


Theorem Proving

Uncertainty and Expert Systems

Cognitive Modeling and Education

Knowledge Representation


Natural Language

Perception and Robotics

Copyright © Sun Mar 14 22:54:07 2010 by Michael Ley (ley@uni-trier.de)