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 BibTeX
• W. W. Bledsoe, Robert S. Boyer, William H. Henneman: Computer Proofs of Limit Theorems. 27-60 BibTeX
• A. L. Cherniavsky: A Program for Timetable Compilation by a Look-Ahead Method. 61-76 BibTeX
• Ronald M. Kaplan: Augmented Transition Networks as Psychological Models of Sentence Comprehension. 77-100 BibTeX
• Gilbert Falk: Interpretation of Imperfect Line Data as a Three-Dimensional Scene. 101-144 BibTeX
• James J. Gillogly: The Technology Chess Program. 145-163 BibTeX
• Louis Hodes: Solving Problems by Formula Manipulation in Logic and Linear Inequalities. 165-174 BibTeX
• Eliana Minicozzi, Raymond Reiter: A Note on Linear Resolution Strategies in Consequence-Finding. 175-180 BibTeX
• Alan W. Biermann: On the Inference of Turing Machines from Sample Computations. 181-198 BibTeX
• 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 BibTeX
• Ranan B. Banerji, George W. Ernst: Strategy Construction Using Homomorphisms Between Games. 223-249 BibTeX
• Richard Fikes, Peter E. Hart, Nils J. Nilsson: Learning and Executing Generalized Robot Plans. 251-288 BibTeX