Artificial Intelligence, Volume 1

Volume 1, Number 1/2, Spring 1970

• Zohar Manna: The Correctness of Nondeterministic Programs. 1-26 BibTeX
• Richard Fikes: REF-ARF: A System for Solving Problems Stated as Procedures. 27-120 BibTeX
• Donald A. Waterman: Generalization Learning Techniques for Automating the Learning of Heuristics. 121-170 BibTeX

Volume 1, Number 3, Fall 1970

• Paul C. Gilmore: An Examination of the Geometry Theorem Machine. 171-187 BibTeX
• B. Meltzer: The Semantics of Induction and the Possibility of Complete Systems of Inductive Inference. 189-192 BibTeX
• Ira Pohl: Heuristic Search Viewed as Path Finding in a Graph. 193-204 BibTeX
• Claude R. Brice, Claude L. Fennema: Scene Analysis Using Regions. 205-226 BibTeX

Volume 1, Number 4, December 1970

• Ugo Montanari: Heuristically Guided Search and Chromosome Matching. 227-245 BibTeX
• Chin-Liang Chang: Renamable Paramodulation for Automatic Theorem Proving with Equality. 247-256 BibTeX
• Robert A. Yates, Bertram Raphael, Timothy P. Hart: Resolution Graphs. 257-289 BibTeX