The following are sorted by reverse chronological order of publication.
25 publications found:
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. Research in Advanced Formal Theorem-Proving Techniques, Technical Note . 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]
Raphael, B. Robot Research at Stanford Research Institute, Technical Note 64. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1972. [PDF, Details]
Raphael, B. Robot Research at Stanford Research Institute, Technical Note 64. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1972. [PDF, Details]
Raphael, Bertram. The Role of Formal Theorem Proving in Artificial Intelligence, Technical Note 63. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1972. [PDF, Details]
Raphael, B., Duda, R. O., Fikes, R. E., Hart, P. E., Nilsson, N. J., Thorndyke, P. W. and Wilber, B. M. Research and Applications - Artificial Intelligence, Technical Report . Stanford Research Institute, December 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]
Raphael, B. Research and Applications - Artificial Intelligence, Technical Report . Stanford Research Institute, November 1970. [PDF, Details]
Raphael, Bertram. The Frame Problem in Problem-Solving Systems, Technical Note 33. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, June 1970. [PDF, Details]
Raphael, Bertram. Robot Problem Solving* Without State Variables, Technical Note 30. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1970. [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]
Rosen, C. A., Nilsson, N. J., Rapahel, B. and Duda, R. O. Research on Intelligent Automata. SRI Proposal Costing ESU 69-68, June 1969. [PDF, Details]
Rosen, C. A., Nilsson, N. J., Raphael, B. and Duda, R. O. Research on Intelligent Automata. Proposal ESU 69-68 Part One–Technical Proposal, June 1969. [PDF, Details]
Raphael, Bertram. Relevance of Robot Research to Artificial Intelligence, Technical Note 13. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1969. [PDF, Details]
Nilsson, N. J., Rosen, C. A., Raphael, B., Forsen, G., Chaitin, L. and Wahlstrom, S. Application of Intelligent Automata to Reconnaissance, Technical Report . Stanford Research Institute, December 1968. [PDF, Details]
Nilsson, N. J., Raphael, B. and Wahlstrom, S. Application of Intelligent Automata to Reconnaissance, Technical Report . Stanford Research Institute, May 1968. [PDF, Details]
Raphael, B. Research on Intelligent Question-Answering Systems, Technical Report . Stanford Research Institute, May 1968. [PDF, Details]
Nilsson, N. and Raphael, B. Research on Intelligent Automata, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1968. [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]
