Fax: (650) 859-3735
Alumnus of the Artificial Intelligence Center
 |
Application of Intelligent Automata to ReconnaissanceDevelopment of the original robot Shakey for exploring AI problems. |
 |
Intelligent Question-Answering SystemsThis 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. |
|
Research and Applications – Artificial IntelligenceThe fourth project centered around Shakey as a platform for investigating AI problems. |
|
Research and Applications – Artificial IntelligenceA continuation of the AI research based around Shakey. |
|
Research in Advanced Formal Theorem-Proving TechniquesAIC Historical Archive |
 |
Research on Intelligent AutomataA 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 25
[View All]
Raphael, B., Fikes, R., and Waldinger, R. Research in Advanced Formal Theorem-Proving Techniques, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1973. [PDF, Details]
Bobrow, Daniel G., and Raphael, Bertram. New Programming Languages for A1 Research, Technical Note 82. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1973. [PDF, Details]
Raphael, B., Fikes, R., and Waldinger, R. Final Report for SRI Project 8721, Technical Report . Stanford Research Institute, 1973. [PDF, Details]
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]
Raphael, Bertram and Robinson, Ann E. Bibliography on Computer Semantics, Technical Note 72. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025", Oct 1972. [PDF, Details]
