Difference between revisions of "Richard Fikes"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Richard Fikes''' FILE:richard_fikes.jpg|border|right|thumb|link=https://engineering.stanford.edu/people/richard-fikes| Richard Fikes <...") |
GerdIsenberg (talk | contribs) |
||
| Line 26: | Line 26: | ||
==1990 ...== | ==1990 ...== | ||
* [[Richard Fikes]] ('''1990'''). ''AI and Software Engineering - Managing Exploratory Programming''. [[Conferences#AAAI-90|AAAI 1990]], [http://www.aaai.org/Papers/AAAI/1990/AAAI90-167.pdf pdf] <ref>[https://en.wikipedia.org/wiki/Exploratory_programming Exploratory programming from Wikipedia]</ref> | * [[Richard Fikes]] ('''1990'''). ''AI and Software Engineering - Managing Exploratory Programming''. [[Conferences#AAAI-90|AAAI 1990]], [http://www.aaai.org/Papers/AAAI/1990/AAAI90-167.pdf pdf] <ref>[https://en.wikipedia.org/wiki/Exploratory_programming Exploratory programming from Wikipedia]</ref> | ||
| + | * [[Michael Genesereth]], [[Richard Fikes]], et al. ('''1992'''). ''Knowledge Interchange Format Version 3.0 Reference Manual''. [http://logic.stanford.edu/publications/genesereth/kif.pdf pdf] | ||
* [[Richard Fikes]] ('''1993'''). ''STRIPS, A Retrospective''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 59, No 1-2 | * [[Richard Fikes]] ('''1993'''). ''STRIPS, A Retrospective''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 59, No 1-2 | ||
* [[Richard Fikes]] ('''1996'''). ''Ontologies: What Are They, and Where's The Research?'' [https://dblp.uni-trier.de/db/conf/kr/kr96.html KR 1996] <ref>[https://en.wikipedia.org/wiki/Ontology_(information_science) Ontology (information science) from Wikipedia]</ref> | * [[Richard Fikes]] ('''1996'''). ''Ontologies: What Are They, and Where's The Research?'' [https://dblp.uni-trier.de/db/conf/kr/kr96.html KR 1996] <ref>[https://en.wikipedia.org/wiki/Ontology_(information_science) Ontology (information science) from Wikipedia]</ref> | ||
| Line 32: | Line 33: | ||
=External Links= | =External Links= | ||
| − | * [https://en.wikipedia.org/wiki/Richard_Fikes Richard Fikes from | + | * [https://en.wikipedia.org/wiki/Richard_Fikes Richard Fikes from Wikipedia] |
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=71098 The Mathematics Genealogy Project - Richard Fikes] | * [https://genealogy.math.ndsu.nodak.edu/id.php?id=71098 The Mathematics Genealogy Project - Richard Fikes] | ||
* [https://engineering.stanford.edu/people/richard-fikes Richard Fikes | Engineering] | * [https://engineering.stanford.edu/people/richard-fikes Richard Fikes | Engineering] | ||
Latest revision as of 19:39, 4 October 2019
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).
Contents
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 [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
