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 AI research based around Shakey.
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.
Reboh, Rene, Raphael, Bertram, Yates, Robert A., Kling, Robert E., and Velarde, Carlos. Study of Automatic Theorem-Proving Programs, Technical Note 75. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1972. [PDF, Details]
Chaitin, L. J., Duda, R. O., Johanson, P. A., Raphael, B., Rosen, C. A. and Yates, R. A. Research and Applications - Artificial Intelligence, Technical Report . Stanford Research Institute, April 1970. [PDF, Details]
Coles, L. S., Duda, R. O., Garvey, T. D., Munson, J. H., Raphael, B., Rosen, C. A. and Yates, R. A. Application of Intelligent Automata to Reconnaissance, Technical Report . Stanford Research Institute, November 1969. [PDF, Details]
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]