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 EndNote Format

%0 Report %@ 50 %A Rulifson, Johns F. %T Preliminary Specification of the QA4 Language %C 333 Ravenswood Ave, Menlo Park, CA 94025 %I AI Center, SRI International %D 1970 %K QA4, Artificial Intelligence, Problem Solving, Theorem Proving, Robot Planning %X 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. %O 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. %U http://www.ai.sri.com/pubs/files/1468.pdf

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