SRI's Artificial Intelligence Center Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International. 333 Ravenswood Avenue. Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation. Search  |  Contact  |  SRI Home
Space 1x1
 AIC Home   >   People   >   Dr Bertram Raphael
Space 1x1

Dr Bertram Raphael *

Alumnus

* Alumnus of the Artificial Intelligence Center
   Past Projects

Shakey

Application of Intelligent Automata to Reconnaissance
Development of the original robot Shakey for exploring AI problems.
 

QA

Intelligent Question-Answering Systems
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.
 

Shakey IV

Research and Applications – Artificial Intelligence
The fourth project centered around Shakey as a platform for investigating AI problems.
 

Shakey III

Research and Applications – Artificial Intelligence
A continuation of the AI research based around Shakey.
 

QA4

Research in Advanced Formal Theorem-Proving Techniques
AIC Historical Archive
 

Shakey II

Research on Intelligent Automata
A continuation of the original Shakey robot project, investigating AI problems involved in developing a robot.
 
   Publications

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]

Spacer 1x1
Spacer 1x1
 
SRI International

©2008 SRI International, 333 RavenswoodAvenue, Menlo Park, CA 94025-3493
SRI International is a nonprofit corporation. Privacy policy