Fax: (650) 859-3735
Alumnus of the Artificial Intelligence Center
This report summarizes two years of research effort that included studies of computer memory organization, formal theorem-proving techniques, the application of theorem-proving techniques to new problem domains, and the use of limited natural language input to a question-answering system.
A continuation of the original Shakey robot project, investigating AI problems involved in developing a robot.
The following are in reverse chronological order of publication.
Showing most recent 5 out of 6 [View All]
Green, C., Yates, R., Raphael, B., and Rosen, C. Research in Advanced Formal Theorem-Proving Techniques, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1969. [PDF, Details]