Citation
Raphael, B., Fikes, R., & Waldinger, R. (1973). Research in advanced formal theorem-proving techniques (No. NASA-CR-135840).
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.
SRI Fellow Fiona Baker: Longitudinal research like the SRI-supported ABCD study is crucial for understanding how modern life shapes developing brains.
The strategic partnership represents the next-gen approach to bridging science with rapid go-to-market strategies.
Leveraging SRI navigation technology, Entropy Robotics aims to create safe, resilient autonomous platforms for defense, livestock management, disaster recovery, and much more.