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