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