Richard Fikes

Home * People * Richard Fikes



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 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).

=Computer Chess= As editor if the ACM SIGART newsletter from 1972 to 1974, Richard Fikes reported on early computer chess tournaments, notably the Fourth North American Computer-Chess Championship 1973 in Atlanta, and the First World Computer Chess Championship 1974 in Stockholm.

=Selected Publications=

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

1990 ...

 * Richard Fikes (1990). AI and Software Engineering - Managing Exploratory Programming. AAAI 1990, pdf
 * 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

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= Up one level