Richard+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. 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)]. toc =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].
 * Home * People * Richard Fikes**
 * [[image:fikes.jpg link="http://engineering.stanford.edu/profile/fikes"]] ||~ || **Richard Earl Fikes**,
 * Richard Fikes ||~ ||^ ||
 * Richard Fikes ||~ ||^ ||

=Selected Publications=
 * Richard Fikes (**1968**). //A Heuristic Program for Solving Problems Stated as Nondeterministic Procedures//. Ph.D. thesis, Carnegie Mellon University, advisor Allen Newell
 * 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, 45 » ACM 1973
 * Richard Fikes (**1974**). //[|First World Computer Chess Championship]//. ACM SIGART Bulletin, No. 47 » WCCC 1974
 * 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
 * Richard Fikes (**1990**). //AI and Software Engineering - Managing Exploratory Programming//. [|AAAI 1990], [|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]
 * [|Honglei Zeng], [|Maher Alhossaini], [|Li Ding], Richard Fikes, [|Deborah L. McGuinness] (**2006**). //[|Computing Trust from Revision History]//. [|PST 2006: 8]

=External Links=
 * [|Richard Fikes]
 * [|Richard Fikes from WIkipedia]
 * [|The Mathematics Genealogy Project - Richard Fikes]
 * [|AI Center :: Dr Richard E. Fikes]
 * [|Richard Fikes | Engineering]

=References= =What links here?= include page="Richard Fikes" component="backlinks" limit="60"
 * Up one level**