Research in Advanced Formal Theorem-Proving Techniques
by Raphael, B., Fikes, R., and Waldinger, R.
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Note: Final Report, covering the period 1 June 1971 to 31 July 1973. Prepared for NASA, contract NASW-2086. SRI Project 8721.
This report summaries 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.
|Fikes, Richard E.||Professor, Stanford Univ.|
|Waldinger, Richard J||Principal Scientist|