Search |  Contact |  SRI Home 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.

Publications Search Results

The following are sorted by reverse chronological order of publication.

23 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, 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, 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]

  • SRI International
    ©2015 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
    SRI International is an independent, nonprofit corporation. Privacy policy