- Bertram C. Bruce: A Model for Temporal References and Its Application in a Question Answering Program. 1-25 BibTeX
- W. W. Bledsoe, Robert S. Boyer, William H. Henneman: Computer Proofs of Limit Theorems. 27-60 BibTeX
- A. L. Cherniavsky: A Program for Timetable Compilation by a Look-Ahead Method. 61-76 BibTeX
- Ronald M. Kaplan: Augmented Transition Networks as Psychological Models of Sentence Comprehension. 77-100 BibTeX
- Gilbert Falk: Interpretation of Imperfect Line Data as a Three-Dimensional Scene. 101-144 BibTeX
- James J. Gillogly: The Technology Chess Program. 145-163 BibTeX
- Louis Hodes: Solving Problems by Formula Manipulation in Logic and Linear Inequalities. 165-174 BibTeX
- Eliana Minicozzi, Raymond Reiter: A Note on Linear Resolution Strategies in Consequence-Finding. 175-180 BibTeX
- Alan W. Biermann: On the Inference of Turing Machines from Sample Computations. 181-198 BibTeX
- Kenneth Mark Colby, Franklin Dennis Hilf, Sylvia Weber, Helena C. Kraemer: Turing-like Indistinguishability Tests for the Calidation of a Computer Simulation of Paranoid Processes. 199-221 BibTeX
- Ranan B. Banerji, George W. Ernst: Strategy Construction Using Homomorphisms Between Games. 223-249 BibTeX
- Richard Fikes, Peter E. Hart, Nils J. Nilsson: Learning and Executing Generalized Robot Plans. 251-288 BibTeX