Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

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

QA4

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

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy