default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 1
Volume 1, Number 1/2, Spring 1970
- Zohar Manna:
The Correctness of Nondeterministic Programs. 1-26 - Richard Fikes:
REF-ARF: A System for Solving Problems Stated as Procedures. 27-120 - Donald A. Waterman:
Generalization Learning Techniques for Automating the Learning of Heuristics. 121-170
Volume 1, Number 3, Fall 1970
- Paul C. Gilmore:
An Examination of the Geometry Theorem Machine. 171-187 - Bernard Meltzer:
The Semantics of Induction and the Possibility of Complete Systems of Inductive Inference. 189-192 - Ira Pohl:
Heuristic Search Viewed as Path Finding in a Graph. 193-204 - Claude R. Brice, Claude L. Fennema:
Scene Analysis Using Regions. 205-226
Volume 1, Number 4, December 1970
- Ugo Montanari:
Heuristically Guided Search and Chromosome Matching. 227-245 - Chin-Liang Chang:
Renamable Paramodulation for Automatic Theorem Proving with Equality. 247-256 - Robert A. Yates, Bertram Raphael, Timothy P. Hart:
Resolution Graphs. 257-289
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:
