Fax: (650) 859-3735
Alumnus of the Artificial Intelligence Center
 |
Research and Applications Artificial IntelligenceThe fourth project centered around Shakey as a platform for investigating AI problems. |
The following are in reverse chronological order of publication.
Showing most recent 5 out of 6
[View All]
Rulifson, J. F. and Derksen, J. A. and Waldinger, R. J. QA4: A Procedural Calculus For Intuitive Reasoning, Technical Note 73. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1972. [PDF, Details]
Derksen, Jan, Rulifson, Johns F., and Waldinger, Richard J. QA4 Language Applied to Robot Planning, Technical Note 65. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1972. [PDF, Details]
Rulifson, Johns F., Waldinger, Richard J., Derksen, Jan A. A Language for Writing Problem-Solving Programs, Technical Note 48. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025", Apr 1971. [PDF, Details]
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]
