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{AICPub1468:1970, AUTHOR={Rulifson, Johns F.}, TITLE={Preliminary Specification of the QA4 Language}, ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025}, INSTITUTION={AI Center, SRI International}, MONTH={Apr}, NUMBER={50}, YEAR={1970}, KEYWORDS={QA4, Artificial Intelligence, Problem Solving, Theorem Proving, Robot Planning}, ABSTRACT={The long-term problem-solving effort of the Stanford Research Institute Artificial Intelligence project has been involved with the design and implementation of a general-purpose, formal problem-solving system. The current system, termed QA4, is based upon mechanized theorem proving in higher-order logic and emphasizes the role of semantic information and flexible control strategies. Two major applications of such a system are in the field of automatic program writing and in robot planning and problem solving. }, NOTE={SRI Project 8259. The research reported here was sponsored by the Advanced Research Projects Agency and the National Aeronautics and Space Administration under Contract NAS12-2221. This note originally appeared as Section V of "Research and Applications–Artificial Intelligence," Interim scientific Report, Contract NAS12-221. } }

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