3. IJCAI 1973: Standford, California, USA

Theory of Heuristic Search

Theorem Proving and Logic I

Applications and Implementations of AI

Theorem Proving and Logic II

Natural Language: Speech

Formalisms for AI

Natural Language: Systems

Robot Implementations

Natural Language: Semantics and Parsing

Robot Problem Solving

Psychology and AI

Automatic Programming

Computer Vision

General Problem Solving

Perception for Robots

Hardware and Software for AI

maintained by Schloss Dagstuhl LZI at University of Trier