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:

  • McGuinness, D. and Fikes, R. and Rice, J. and Wilder, S. . An Environment for Merging and Testing Large Ontologies, in Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning , 2000.  [Details]

  • McGuinness, D. and Fikes, R. and Rice, J. and Wilder, S. . The Chimaera Ontology Environment, in Proceedings of the The Seventeenth National Conference on Artificial Intelligence, 2000.  [Details]

  • Chaudhri, Vinay K. and Farquhar, Adam and Fikes, Richard and Karp, Peter D. and Rice, James P. The Generic Frame Protocol 2.0. Artificial Intelligence Center, SRI International, Jul 1997.  [PS, Details]

  • Hendrix, Gary G. and Fikes, Richard. A Network-Based Knowledge Representation and Its Natural Systems, Technical Note 147. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1977.  [PDF, Details]

  • Sacerdoti, Earl and Fikes, Richard and Reboh, Rene and Sagalowicz, Daniel and Waldinger, Richard and Wilber, B. Michael. Qlisp: A Language For The Interactive Development Of Complex Systems, Technical Note 120. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1976.  [PDF, Details]

  • Fikes, Richard E. Knowledge Representation in Automatic Planning Systems, Technical Note 119. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jan 1976.  [PDF, Details]

  • Fikes, Richard E. Deductive Retrieval Mechanisms for State Description Models, Technical Note 106. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1975.  [PDF, Details]

  • Nilsson, N. J., Agin, J., Deutsch, B. G., Fikes, R., Sacerdoti, E. D., and Tenenbaum, J. M. Plan for a Computer-Based Consultant System, Technical Note 94. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1974.  [PDF, Details]

  • Nilsson, N. J., Brain, A. E., Garvey, T. D., Tenenbaum, J. M., Agin, G., Deutsch, B., Lynch, D. C., Barrow, H., Fikes, R. E., and Sacerdoti, E. D. Artificial Intelligence - Research and Applications, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1974.  [PDF, Details]

  • Nilsson, N. J., Brain, A. E., Garvey, T. D., Tenenbaum, J. M., Agin, G., Deutsch, B., Lynch, D. C., Barrow, H., Fikes, R. E., and Sacerdoti, E. Artificial Intelligence - Research and Applications, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1974.  [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]

  • Hart, P. E., Fikes, R. E., Garvey, T. D., Nilsson, N. J., Nitzan, D, Tenenbaum, J. M. and Wilber, B. M. Artificial Intelligence - Research and Applications, Technical Report . Stanford Research Institute, December 1972.  [PDF, Details]

  • Fikes, Richard E., Hart, Peter E., and Nilsson, Nils J. Some New Directions in Robot Problem Solving, Technical Note 68. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1972.  [PDF, Details]

  • Fikes, R.E., Hart, P.E., Nilsson, N.J. Learning and Executing Generalized Robot Plans, Technical Note 70. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Jul 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]

  • Fikes, Richard E. and Nilsson, Nils J. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving, Technical Note 43R. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1971.  [PDF, Details]

  • Fikes, R. E. Monitored Execution of Robot Plans Produced by STRIPS, Technical Note 55. 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]

  • Fikes, Richard E. Failure Tests and Goals in Plans, Technical Note 53. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Mar 1971.  [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]

  • Fikes, Richard E. A LISP Implementation of BIP, Technical Note 22. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1970.  [PDF, Details]

  • Fikes, Richard E. REF-ARF: A System for Solving Problems Stated as Procedures, Technical Note 14. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Sept 1969.  [PDF, Details]

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