June 1, 1969

Research in Advanced Formal Theorem-Proving Techniques

Citation

Raphael, B., Fikes, R., & Waldinger, R. (1973). Research in advanced formal theorem-proving techniques (No. NASA-CR-135840).

Abstract

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.

↓ Download

Read more from SRI

November 20, 2024

SRI and University of Houston receive $3.6M to develop a microreactor to convert carbon dioxide to methanol using renewable energy

By recycling carbon dioxide into methanol, this science supports U.S. climate goals and helps reduce greenhouse gases.
November 18, 2024

Teaching machines to learn like humans could help autonomous systems deal with unfamiliar environments

SRI is spearheading a way for autonomous systems, such as self-driving vehicles and drones, to effectively operate in evolving and adversarial environments such as war zones.
November 13, 2024

Office of Special Education Programs extends SRI’s funding for the Center for IDEA Early Childhood Data Systems

The U.S. Department of Education issues a third five-year cooperative agreement to SRI to lead The DaSy Center.

Research in Advanced Formal Theorem-Proving Techniques

Abstract

Read more from SRI

SRI and University of Houston receive $3.6M to develop a microreactor to convert carbon dioxide to methanol using renewable energy

Teaching machines to learn like humans could help autonomous systems deal with unfamiliar environments

Office of Special Education Programs extends SRI’s funding for the Center for IDEA Early Childhood Data Systems