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   >   Robert Yates
Space 1x1

Robert Yates *

Alumnus


* Alumnus of the Artificial Intelligence Center
   Past Projects

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 III

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

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.

  • 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]

  • Yates, Robert A., Raphael, Bertram, and Hart, Timothy P. . Resolution Graphs, Technical Note 24. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 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]

Spacer 1x1
Spacer 1x1
 
SRI International

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