Bio


Richard Fikes has a long and distinguished record as an innovative leader in the development of techniques for effectively representing and using knowledge in computer systems. He is best known as co-developer of the STRIPS automatic planning system, KIF (Knowledge Interchange Format), the Ontolingua ontology representation language and Web-based ontology development environment, the OKBC (Open Knowledge Base Connectivity) API for knowledge servers, and IntelliCorp's KEE system. At Stanford, he led projects focused on developing large-scale distributed repositories of computer-interpretable knowledge, collaborative development of multi-use ontologies, enabling technology for the Semantic Web, reasoning methods applicable to large-scale knowledge bases, and knowledge-based technology for intelligence analysts. He was principal investigator of major projects for multiple Federal Government agencies including the Defense Advanced Research Projects Agency (DARPA) and the Intelligence Community’s Advanced Research and Development Activity (ARDA).

Academic Appointments


  • Emeritus Faculty, Acad Council, Computer Science

Administrative Appointments


  • Director, Stanford's Knowledge Systems Laboratory (1991 - 2006)

Honors & Awards


  • Elected as a Founding Fellow, America Association for Artificial Intelligence (1990)

2013-14 Courses


Journal Articles


  • A proof markup language for Semantic Web services INFORMATION SYSTEMS da Silva, P. P., McGuinness, D. L., Fikes, R. 2006; 31 (4-5): 381-395
  • Mining revision history to assess trustworthiness of article fragments 2006 INTERNATIONAL CONFERENCE ON COLLABORATIVE COMPUTING: NETWORKING, APPLICATIONS AND WORKSHARING Zeng, H., Alhossaini, M. A., Fikes, R., McGuinness, D. L. 2006: 413-422
  • Integration of heterogeneous knowledge sources in the CALO query manager ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: OTM 2005 WORKSHOPS, PROCEEDINGS Ambite, J. L., Chaudhri, V. K., Fikes, R., Jenkins, J., Mishra, S., Muslea, M., Uribe, T., Yang, G. Z. 2005; 3762: 30-32
  • Contexts for the semantic web SEMANTIC WEB - ISWC 2004, PROCEEDINGS Guha, R., McCool, R., Fikes, R. 2004; 3298: 32-46
  • JTP: A system architecture and component library for hybrid reasoning 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS Fikes, R., Frank, G., Jenkins, J. 2003: 110-115
  • Including domain-specific reasoners with reusable ontologies IKE'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE ENGINEERING, VOLS 1 AND 2 Fikes, R., Jenkins, J., Zhou, Q. 2003: 262-268
  • DAML-ONT: An ontology language for the semantic web SPINNING THE SEMANTIC WEB McGuinness, D., Fikes, R., Stein, L. A., Hendler, J. 2003: 65-93
  • DAML+OIL: An ontology language for the semantic Web IEEE INTELLIGENT SYSTEMS McGuinness, D. L., Fikes, R., Hendler, J., Stein, L. A. 2002; 17 (5): 72-80
  • The chimaera ontology environment SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000) McGuinness, D. L., Fikes, R., Rice, J., Wilder, S. 2000: 1123-1124
  • Distributed repositories of highly expressive reusable ontologies IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS Fikes, R., Farquhar, A. 1999; 14 (2): 73-79
  • Building a large knowledge base from a structured source IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS Frank, G., Farquhar, A., Fikes, R. 1999; 14 (1): 47-54
  • Speeding up inferences using relevance reasoning: a formalism and algorithms ARTIFICIAL INTELLIGENCE Levy, A. Y., Fikes, R. E., Sagiv, Y. 1997; 97 (1-2): 83-136
  • Automated model selection for simulation based on relevance reasoning ARTIFICIAL INTELLIGENCE Levy, A. Y., Iwasaki, Y., Fikes, R. D. 1997; 96 (2): 351-394
  • The Ontolingua Server: A tool for collaborative ontology construction INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES Farquhar, A., Fikes, R., Rice, J. 1997; 46 (6): 707-727
  • A Web-based compositional modeling system for sharing of physical knowledge IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2 Iwasaki, Y., Farquhar, A., Fikes, R., Rice, J. 1997: 494-500
  • Ontologies: What are they, and where's the research? PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96) Fikes, R. 1996: 652-655
  • CAUSAL FUNCTIONAL REPRESENTATION LANGUAGE WITH BEHAVIOR-BASED SEMANTICS APPLIED ARTIFICIAL INTELLIGENCE Iwasaki, Y., Vescovi, M., Fikes, R., CHANDRASEKARAN, B. 1995; 9 (1): 5-31
  • STRIPS, A RETROSPECTIVE ARTIFICIAL INTELLIGENCE Fikes, R. E., Nilsson, N. J. 1993; 59 (1-2): 227-232
  • PACT - AN EXPERIMENT IN INTEGRATING CONCURRENT ENGINEERING SYSTEMS COMPUTER Cutkosky, M. R., ENGELMORE, R. S., Fikes, R. E., Genesereth, M. R., GRUBER, T. R., MARK, W. S., TENEBAUM, J. M., Weber, J. C. 1993; 26 (1): 28-37
  • CFRL - A LANGUAGE FOR SPECIFYING THE CAUSAL FUNCTIONALITY OF ENGINEERED DEVICES PROCEEDINGS OF THE ELEVENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE Vescovi, M., Iwasaki, Y., Fikes, R., CHANDRASEKARAN, B. 1993: 626-633
  • HOW THINGS ARE INTENDED TO WORK - CAPTURING FUNCTIONAL KNOWLEDGE IN DEVICE DESIGN IJCAI-93, VOLS 1 AND 2 Iwasaki, Y., Fikes, R., Vescovi, M., CHANDRASEKARAN, B. 1993: 1516-1522
  • ENABLING TECHNOLOGY FOR KNOWLEDGE SHARING AI MAGAZINE Neches, R., Fikes, R., Finin, T., Gruber, T., Patil, R., Senator, T., SWARTOUT, W. R. 1991; 12 (3): 36-56
  • THEMES IN AUTOMATIC PROBLEM-SOLVING COMPUTER Fikes, R. E., Hart, P. E., Raphael, B. 1973; 6 (5): 11-17
  • LEARNING AND EXECUTING GENERALIZED ROBOT PLANS ARTIFICIAL INTELLIGENCE Fikes, R. E., Hart, P. E., Nilsson, N. J. 1972; 3 (2): 251-288
  • STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING ARTIFICIAL INTELLIGENCE Fikes, R. E., Nilsson, N. J. 1971; 2 (3-4): 189-208