Modeling simultaneous actions and continuous processes
The structure of ill structured problems
Rule-oriented methods in problem solving
The Q∗ algorithm—a search strategy for a deductive question-answering system
Symbolic logic and mechanical theorem proving: Chin-Liang Chang and Richard Char-Tung Lee. Academic Press, New York, 1973
Video tapes of IJCAI-73 tutorial lectures available through Stanford University
Author index volume 4, 1973
Contents volume 4, 1973