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 in BibTeX Format

@TECHREPORT{AICPub1048:1973, AUTHOR={Raphael, B., Fikes, R., and Waldinger, R.}, TITLE={Final Report for SRI Project 8721}, INSTITUTION={Stanford Research Institute}, YEAR={1973}, KEYWORDS={QA4, QLISP, Theorem Proving!QA4, Deductive Retrieval System, Tree Searching System, Robot Planning and Execution System!Hierarchical, Program Verification}, 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.}, NOTE={From the Nilsson Archives} }

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