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
  

Volume 2, Number 2, Fall 1971

• 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
  

Volume 2, Number 3/4, Winter 1971

• 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
  

Last update Thu May 23 11:56:22 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page