Fax: (650) 859-3735
Alumnus of the Artificial Intelligence Center
The fourth project centered around Shakey as a platform for investigating AI problems.
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.
Raphael, B., Chaitin, L. J., Duda, R. O., Fikes, R. E., Hart, P. E. and Nilsson, N. J. Research and Applications - Artificial Intelligence, Technical Report . Stanford Research Institute, April 1971. [PDF, Details]
Brice, Claude R. and Derksen, Jan A. . Heuristically Guided Equality Rule in a Resolution Theorem Prover, Technical Note 45R. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1971. [PDF, Details]