default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
