Richard Fikes

Home * People * Richard Fikes

Richard Fikes [1] Richard E. Fikes,

an American mathematician and computer scientist, professor (research) emeritus at Artificial Intelligence Laboratory, Stanford University, Ph.D. in CS from Carnegie Mellon University in 1968 under Allen Newell. His research is in the general area of knowledge representation and heuristic problem solving, he is co-developer of the STRIPS automatic planning system, the KIF (Knowledge Interchange Format), the Ontolingua ontology representation language [2] and Web-based ontology development environment, the OKBC (Open Knowledge Base Connectivity) API for knowledge servers, and IntelliCorp’s KEE system. 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).

Selected Publications#

[3]

1968 …#

• Richard Fikes (1968). A Heuristic Program for Solving Problems Stated as Nondeterministic Procedures. Ph.D. thesis, Carnegie Mellon University, advisor Allen Newell

1970 …#

• Richard Fikes, Nils J. Nilsson (1971). STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. IJCAI 1971
• Richard Fikes (1974). Fourth U.S. Computer Chess Championship. ACM SIGART Bulletin, No. 44 » ACM 1973
• Richard Fikes (1974). Chess. ACM SIGART Bulletin, No. 45
• Richard Fikes (1974). Chess. ACM SIGART Bulletin, No. 46
• Richard Fikes (1974). First World Computer Chess Championship. ACM SIGART Bulletin, No. 47 » WCCC 1974

1980 …#

• Richard Fikes (1982). A Representation System User Interface for Knowledge Base Designers. AI Magazine Vol. 3, No. 4
• Robert Nado, Richard Fikes (1987). Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults. AAAI 1987 [4]

1990 …#

• Richard Fikes (1990). AI and Software Engineering - Managing Exploratory Programming. AAAI 1990, pdf [5]
• Michael Genesereth, Richard Fikes, et al. (1992). Knowledge Interchange Format Version 3.0 Reference Manual. pdf
• Richard Fikes (1993). STRIPS, A Retrospective. Artificial Intelligence, Vol. 59, No 1-2
• Richard Fikes (1996). Ontologies: What Are They, and Where’s The Research? KR 1996 [6]

2000 …#

• Honglei Zeng, Maher Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness (2006). Computing Trust from Revision History. PST 2006

External Links#

• Richard Fikes from Wikipedia
• The Mathematics Genealogy Project - Richard Fikes
• Richard Fikes | Engineering

References#

1. ↑ Richard Fikes | Engineering
2. ↑ Ontolingua Home Page
3. ↑ dblp: Richard Fikes
4. ↑ Frame language from Wikipedia
5. ↑ Exploratory programming from Wikipedia
6. ↑ Ontology (information science) from Wikipedia

Up one level