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.

5 publications found:

  • 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]

  • 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]

  • 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]

  • 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]

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