Volume 1, Number 1/2, Spring 1970
: The Correctness of Nondeterministic Programs.
: REF-ARF: A System for Solving Problems Stated as Procedures.
Donald A. Waterman
: Generalization Learning Techniques for Automating the Learning of Heuristics.
Volume 1, Number 3, Fall 1970
: The Semantics of Induction and the Possibility of Complete Systems of Inductive Inference.
: Heuristic Search Viewed as Path Finding in a Graph.
Volume 1, Number 4, December 1970