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)

Contact

  • Academic
    fikes@stanford.edu
    University - Emeritus faculty Department: Computer Science Position: Emeritus Faculty, Acad Council
    • Gates Building, Room 226
    • Stanford,  California  94305 
    (650) 823-3429 (cell)

Additional Info

  • Mail Code: 9020

Links

2023-24 Courses

All Publications

  • Knowledge Representation and Reasoning - A History of DARPA Leadership AI MAGAZINE Fikes, R., Garvey, T. 2020; 41 (2): 9–21

    View details for Web of Science ID 000545538000002

  • 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

    View details for DOI 10.1016/j.is.2005.02.003

    View details for Web of Science ID 000236334200009

  • Mining revision history to assess trustworthiness of article fragments International Conference on Collaborative Computing Zeng, H., Alhossaini, M. A., Fikes, R., McGuinness, D. L. IEEE. 2006: 413–422

    View details for Web of Science ID 000246427700056

  • A Reusable Ontology for Fluents in OWL FORMAL ONTOLOGY IN INFORMATION SYSTEMS Welty, C., Fikes, R. 2006; 150: 226-?

    View details for Web of Science ID 000273516700019

  • Integration of heterogeneous knowledge sources in the CALO query manager OTM Confederated International Conference and Workshop Ambite, J. L., Chaudhri, V. K., Fikes, R., Jenkins, J., Mishra, S., Muslea, M., Uribe, T., Yang, G. Z. SPRINGER-VERLAG BERLIN. 2005: 30–32

    View details for Web of Science ID 000233744700015

  • Contexts for the semantic web 3rd International Semantic Web Conference Guha, R., McCool, R., Fikes, R. SPRINGER-VERLAG BERLIN. 2004: 32–46

    View details for Web of Science ID 000225767000004

  • JTP: A system architecture and component library for hybrid reasoning 7th World Multiconference on Systemics, Cybernetics and Informatics Fikes, R., Frank, G., Jenkins, J. INT INST INFORMATICS & SYSTEMICS. 2003: 110–115

    View details for Web of Science ID 000189346900021

  • Including domain-specific reasoners with reusable ontologies International Conference on Information and Knowledge Engineering (IKE 03) Fikes, R., Jenkins, J., Zhou, Q. C S R E A PRESS. 2003: 262–268

    View details for Web of Science ID 000187118100042

  • DAML-ONT: An ontology language for the semantic web Seminar on Semantics for the Web McGuinness, D., Fikes, R., Stein, L. A., Hendler, J. M I T PRESS. 2003: 65–93

    View details for Web of Science ID 000224365900004

  • 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

    View details for Web of Science ID 000178362900014

  • The chimaera ontology environment 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000) McGuinness, D. L., Fikes, R., Rice, J., Wilder, S. M I T PRESS. 2000: 1123–1124

    View details for Web of Science ID 000172441000178

  • Distributed repositories of highly expressive reusable ontologies IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS Fikes, R., Farquhar, A. 1999; 14 (2): 73-79

    View details for Web of Science ID 000079551100020

  • 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

    View details for Web of Science ID 000078503400009

  • 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

    View details for Web of Science ID 000071321500004

  • Automated model selection for simulation based on relevance reasoning ARTIFICIAL INTELLIGENCE Levy, A. Y., Iwasaki, Y., Fikes, R. D. 1997; 96 (2): 351-394

    View details for Web of Science ID 000071388800002

  • 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

    View details for Web of Science ID A1997XE24500003

  • A Web-based compositional modeling system for sharing of physical knowledge 15th International Joint Conference on Artificial Intelligence Iwasaki, Y., Farquhar, A., Fikes, R., Rice, J. MORGAN KAUFMANN PUB INC. 1997: 494–500

    View details for Web of Science ID 000072707200073

  • Ontologies: What are they, and where's the research? 5th International Conference on Principles of Knowledge Representation and Reasoning (KR 96) Fikes, R. MORGAN KAUFMANN PUB INC. 1996: 652–655

    View details for Web of Science ID A1996BJ19N00058

  • CAUSAL FUNCTIONAL REPRESENTATION LANGUAGE WITH BEHAVIOR-BASED SEMANTICS AAAI Workshop on Reasoning about Function Iwasaki, Y., Vescovi, M., Fikes, R., CHANDRASEKARAN, B. TAYLOR & FRANCIS. 1995: 5–31

    View details for Web of Science ID A1995QC26100003

  • STRIPS, A RETROSPECTIVE ARTIFICIAL INTELLIGENCE Fikes, R. E., Nilsson, N. J. 1993; 59 (1-2): 227-232

    View details for Web of Science ID A1993KN18100028

  • 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

    View details for Web of Science ID A1993KG31600005

  • CFRL - A LANGUAGE FOR SPECIFYING THE CAUSAL FUNCTIONALITY OF ENGINEERED DEVICES 11th National Conference on Artificial Intelligence (AAAI-93) Vescovi, M., Iwasaki, Y., Fikes, R., CHANDRASEKARAN, B. M I T PRESS. 1993: 626–633

    View details for Web of Science ID A1993BA08N00094

  • HOW THINGS ARE INTENDED TO WORK - CAPTURING FUNCTIONAL KNOWLEDGE IN DEVICE DESIGN 13th International Joint Conference on Artificial Intelligence (IJCAI-93) Iwasaki, Y., Fikes, R., Vescovi, M., CHANDRASEKARAN, B. MORGAN KAUFMANN PUB INC. 1993: 1516–1522

    View details for Web of Science ID A1993BA18B00210

  • 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

    View details for Web of Science ID A1991GG13800004

  • THEMES IN AUTOMATIC PROBLEM-SOLVING COMPUTER Fikes, R. E., Hart, P. E., Raphael, B. 1973; 6 (5): 11-17

    View details for Web of Science ID A1973P533500002

  • LEARNING AND EXECUTING GENERALIZED ROBOT PLANS ARTIFICIAL INTELLIGENCE Fikes, R. E., Hart, P. E., Nilsson, N. J. 1972; 3 (2): 251-288

    View details for Web of Science ID A1972Z069100012

  • 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

    View details for Web of Science ID A1971Y001100001