Dr Richard E. Fikes*

Past Projects

	A Knowledge Entry System for Subject Matter Experts The goal of SHAKEN project is to enable subject matter experts , without any assistance from AI technologists, to assemble the models of processes and mechanisms so that questions about them can be answered by declarative inference and simulation.
	Artificial Intelligence – Research and Applications The fifth project using Shakey as a platform to test/demonstrate AI problems and approaches.
	Research and Applications – Artificial Intelligence The fourth project centered around Shakey as a platform for investigating AI problems.
	Research in Advanced Formal Theorem-Proving Techniques AIC Historical Archive

Publications

The following are in reverse chronological order of publication.
Showing most recent 5 out of 24 [View All]

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