Artificial Intelligence, Volume 2

Volume 2, Number 1, Spring 1971

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

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

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