Fax: (650) 859-3735
Alumnus of the Artificial Intelligence Center
 |
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 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 6
[View All]
Coles, L.S. and Green, C. Chemistry Question-Answering, Technical Note 9. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jun 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]
Green, C. The Application of Theorem Proving to Question-Answering Systems, Technical Note 8. AI Center, SRI International", 333 Ravenswood Ave, Menlo Park, CA 94025, Jun 1969. [PDF, Details]
Green, C. Application of Theorem Proving to Problem Solving, Technical Note 4. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1969. [PDF, Details]
Green, C. C. and Raphael, B. Research on Intelligent Question-Answering Systems, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1967. [PDF, Details]
