Artificial Intelligence, Volume 2

Volume 2, Number 1, Spring 1971

Kenneth Mark Colby, Sylvia Weber, Franklin Dennis Hilf: Artificial Paranoia. 1-25 BibTeX
David C. Luckham, Nils J. Nilsson: Extracting Information from Resolution Proof Trees. 27-54 BibTeX
W. W. Bledsoe: Splitting and Reduction Heuristics in Automatic Theorem Proving. 55-77 BibTeX
M. B. Clowes: On Seeing Things. 79-116 BibTeX

Chin-Liang Chang, James R. Slagle: An Admissible and Optimal Algorithm for Searching AND/OR Graphs. 117-128 BibTeX
Erik Sandewall: Formal Methods in the Design of Question-Answering Systems. 129-145 BibTeX
Rob Kling: A Paradigm for Reasoning by Analogy. 147-178 BibTeX
Charles G. Morgan: Hypothesis Generation by Machine. 179-187 BibTeX

Richard Fikes, Nils J. Nilsson: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. 189-208 BibTeX
Aaron Sloman: Interactions Between Philosophy and Srtificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Ontelligence. 209-225 BibTeX
Robert A. Kowalski, Donald Kuehner: Linear Resolution with Selection Function. 227-260 BibTeX
Lewis M. Norton: Experiments with a Heuristic Theorem-Proving Program for Predicate Calculus with Equality. 261-284 BibTeX
Donald A. Waterman, Allen Newell: Protocol Analysis as a Task for Artificial Intelligence. 285-318 BibTeX
Peter M. Will, Keith S. Pennington: Grid Coding: A Preprocessing Technique for Robot and Machine Vision. 319-329 BibTeX