Publication Details

Final Report for SRI Project 8721

by Raphael, B., Fikes, R., and Waldinger, R.

Technical Report
Institution: Stanford Research Institute
1973.

Note: From the Nilsson Archives

Abstract

This report summarizes the results of a three- year project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning. The principal results of the project have been the design and implementation of two complete systems, QA4 and QLISP and their preliminary experimental use. QA4 has been documented in detail in a previous technical report. *1 This report contains a description of how both QA4 and QLISP have been used; the Preliminary QLISP Manual is attached as an appendix.

Electronic Copies

Adobe PDF

BibTeX

EndNote

Associated Projects

Research in Advanced Formal Theorem-Proving Techniques AIC Historical Archive

AIC Personnel

	Name	Title	E-mail
	Fikes, Richard E.	Professor, Stanford Univ.
	Raphael, Bertram	Alumnus
	Waldinger, Richard J	Principal Scientist