Artificial Intelligence, Volume 3

Volume 3, Number 1-3, January 1972

• Bertram C. Bruce: A Model for Temporal References and Its Application in a Question Answering Program. 1-25
• W. W. Bledsoe, Robert S. Boyer, William H. Henneman: Computer Proofs of Limit Theorems. 27-60
• A. L. Cherniavsky: A Program for Timetable Compilation by a Look-Ahead Method. 61-76
• Ronald M. Kaplan: Augmented Transition Networks as Psychological Models of Sentence Comprehension. 77-100
• Gilbert Falk: Interpretation of Imperfect Line Data as a Three-Dimensional Scene. 101-144
• James J. Gillogly: The Technology Chess Program. 145-163
• Louis Hodes: Solving Problems by Formula Manipulation in Logic and Linear Inequalities. 165-174
• Eliana Minicozzi, Raymond Reiter: A Note on Linear Resolution Strategies in Consequence-Finding. 175-180
• Alan W. Biermann: On the Inference of Turing Machines from Sample Computations. 181-198
• Kenneth Mark Colby, Franklin Dennis Hilf, Sylvia Weber, Helena C. Kraemer: Turing-like Indistinguishability Tests for the Calidation of a Computer Simulation of Paranoid Processes. 199-221
• Ranan B. Banerji, George W. Ernst: Strategy Construction Using Homomorphisms Between Games. 223-249
• Richard Fikes, Peter E. Hart, Nils J. Nilsson: Learning and Executing Generalized Robot Plans. 251-288