0004-3702

Artificial Intelligence (AI) - Volume 4, Issues 3–4 论文列表

本期论文列表
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