25,161
edits
Changes
Created page with "'''Home * People * Richard Fikes''' FILE:richard_fikes.jpg|border|right|thumb|link=https://engineering.stanford.edu/people/richard-fikes| Richard Fikes <..."
'''[[Main Page|Home]] * [[People]] * Richard Fikes'''
[[FILE:richard_fikes.jpg|border|right|thumb|link=https://engineering.stanford.edu/people/richard-fikes| Richard Fikes <ref>[https://engineering.stanford.edu/people/richard-fikes Richard Fikes | Engineering]</ref>]]
'''Richard E. Fikes''',<br/>
an American mathematician and computer scientist, professor (research) emeritus at [https://en.wikipedia.org/wiki/Stanford_Artificial_Intelligence_Laboratory#Stanford_Artificial_Intelligence_Laboratory 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 [https://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning knowledge representation] and [https://en.wikipedia.org/wiki/Heuristic heuristic] [https://en.wikipedia.org/wiki/Problem_solving#Computer_Science_and_Algorithmics problem solving], he is co-developer of the [https://en.wikipedia.org/wiki/STRIPS STRIPS automatic planning system], the [https://en.wikipedia.org/wiki/Knowledge_Interchange_Format KIF (Knowledge Interchange Format)], the Ontolingua [https://en.wikipedia.org/wiki/Ontology_%28information_science%29 ontology] representation language <ref>[http://www.ksl.stanford.edu/software/ontolingua/ Ontolingua Home Page]</ref> and [https://en.wikipedia.org/wiki/Web_Ontology_Language Web-based ontology] development environment, the [https://en.wikipedia.org/wiki/Open_Knowledge_Base_Connectivity OKBC (Open Knowledge Base Connectivity)] [https://en.wikipedia.org/wiki/Application_programming_interface API] for knowledge servers, and [https://en.wikipedia.org/wiki/IntelliCorp_%28software%29 IntelliCorp's] [https://en.wikipedia.org/wiki/Knowledge_Engineering_Environment KEE] system.
He was principal investigator of major projects for multiple Federal Government agencies including the [https://en.wikipedia.org/wiki/DARPA Defense Advanced Research Projects Agency (DARPA)] and the Intelligence Community’s [https://en.wikipedia.org/wiki/Disruptive_Technology_Office Advanced Research and Development Activity (ARDA)].
=Computer Chess=
As editor if the [[ACM#SIG|ACM SIGART newsletter]] from 1972 to 1974, Richard Fikes reported on early computer chess tournaments, notably the [[ACM 1973|Fourth North American Computer-Chess Championship 1973]] in [https://en.wikipedia.org/wiki/Atlanta%2C_Georgia Atlanta], and the [[WCCC 1974|First World Computer Chess Championship 1974]] in [https://en.wikipedia.org/wiki/Stockholm Stockholm].
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/f/Fikes:Richard.html dblp: Richard Fikes]</ref>
==1968 ...==
* [[Richard Fikes]] ('''1968'''). ''[https://apps.dtic.mil/docs/citations/AD0688604 A Heuristic Program for Solving Problems Stated as Nondeterministic Procedures]''. Ph.D. thesis, [[Carnegie Mellon University]], advisor [[Allen Newell]]
==1970 ...==
* [[Richard Fikes]], [[Mathematician#NilsNilsson|Nils J. Nilsson]] ('''1971'''). ''STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving''. [[Conferences#IJCAI|IJCAI 1971]]
* [[Richard Fikes]] ('''1974'''). ''[https://dl.acm.org/citation.cfm?id=1045183.1045188&coll=DL&dl=GUIDE Fourth U.S. Computer Chess Championship]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 44 » [[ACM 1973]]
* [[Richard Fikes]] ('''1974'''). ''[https://dl.acm.org/citation.cfm?id=1045224 Chess]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 45
* [[Richard Fikes]] ('''1974'''). ''[https://dl.acm.org/citation.cfm?id=1056794 Chess]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 46
* [[Richard Fikes]] ('''1974'''). ''[https://dl.acm.org/citation.cfm?id=1045192&dl=ACM&coll=DL First World Computer Chess Championship]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 47 » [[WCCC 1974]]
==1980 ...==
* [[Richard Fikes]] ('''1982'''). ''[https://www.aaai.org/ojs/index.php/aimagazine/article/view/379 A Representation System User Interface for Knowledge Base Designers]''. [https://en.wikipedia.org/wiki/AI_Magazine AI Magazine] Vol. 3, No. 4
* [[Robert Nado]], [[Richard Fikes]] ('''1987'''). ''[https://dl.acm.org/citation.cfm?id=1863776 Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults]''. [[Conferences#AAAI-87|AAAI 1987]] <ref>[https://en.wikipedia.org/wiki/Frame_language Frame language from Wikipedia]</ref>
==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]] ('''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>
==2000 ...==
* [https://dblp.uni-trier.de/pers/hd/z/Zeng:Honglei Honglei Zeng], [https://dblp.uni-trier.de/pers/hd/a/Alhossaini:Maher_A=.html Maher Alhossaini], [https://dblp.uni-trier.de/pers/hd/d/Ding_0001:Li Li Ding], [[Richard Fikes]], [https://dblp.uni-trier.de/pers/hd/m/McGuinness:Deborah_L= Deborah L. McGuinness] ('''2006'''). ''[https://ebiquity.umbc.edu/paper/html/id/320/Computing-Trust-from-Revision-History Computing Trust from Revision History]''. [https://dblp.uni-trier.de/db/conf/pst/pst2006.html PST 2006]
=External Links=
* [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://engineering.stanford.edu/people/richard-fikes Richard Fikes | Engineering]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Researcher|Fikes]]
[[FILE:richard_fikes.jpg|border|right|thumb|link=https://engineering.stanford.edu/people/richard-fikes| Richard Fikes <ref>[https://engineering.stanford.edu/people/richard-fikes Richard Fikes | Engineering]</ref>]]
'''Richard E. Fikes''',<br/>
an American mathematician and computer scientist, professor (research) emeritus at [https://en.wikipedia.org/wiki/Stanford_Artificial_Intelligence_Laboratory#Stanford_Artificial_Intelligence_Laboratory 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 [https://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning knowledge representation] and [https://en.wikipedia.org/wiki/Heuristic heuristic] [https://en.wikipedia.org/wiki/Problem_solving#Computer_Science_and_Algorithmics problem solving], he is co-developer of the [https://en.wikipedia.org/wiki/STRIPS STRIPS automatic planning system], the [https://en.wikipedia.org/wiki/Knowledge_Interchange_Format KIF (Knowledge Interchange Format)], the Ontolingua [https://en.wikipedia.org/wiki/Ontology_%28information_science%29 ontology] representation language <ref>[http://www.ksl.stanford.edu/software/ontolingua/ Ontolingua Home Page]</ref> and [https://en.wikipedia.org/wiki/Web_Ontology_Language Web-based ontology] development environment, the [https://en.wikipedia.org/wiki/Open_Knowledge_Base_Connectivity OKBC (Open Knowledge Base Connectivity)] [https://en.wikipedia.org/wiki/Application_programming_interface API] for knowledge servers, and [https://en.wikipedia.org/wiki/IntelliCorp_%28software%29 IntelliCorp's] [https://en.wikipedia.org/wiki/Knowledge_Engineering_Environment KEE] system.
He was principal investigator of major projects for multiple Federal Government agencies including the [https://en.wikipedia.org/wiki/DARPA Defense Advanced Research Projects Agency (DARPA)] and the Intelligence Community’s [https://en.wikipedia.org/wiki/Disruptive_Technology_Office Advanced Research and Development Activity (ARDA)].
=Computer Chess=
As editor if the [[ACM#SIG|ACM SIGART newsletter]] from 1972 to 1974, Richard Fikes reported on early computer chess tournaments, notably the [[ACM 1973|Fourth North American Computer-Chess Championship 1973]] in [https://en.wikipedia.org/wiki/Atlanta%2C_Georgia Atlanta], and the [[WCCC 1974|First World Computer Chess Championship 1974]] in [https://en.wikipedia.org/wiki/Stockholm Stockholm].
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/f/Fikes:Richard.html dblp: Richard Fikes]</ref>
==1968 ...==
* [[Richard Fikes]] ('''1968'''). ''[https://apps.dtic.mil/docs/citations/AD0688604 A Heuristic Program for Solving Problems Stated as Nondeterministic Procedures]''. Ph.D. thesis, [[Carnegie Mellon University]], advisor [[Allen Newell]]
==1970 ...==
* [[Richard Fikes]], [[Mathematician#NilsNilsson|Nils J. Nilsson]] ('''1971'''). ''STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving''. [[Conferences#IJCAI|IJCAI 1971]]
* [[Richard Fikes]] ('''1974'''). ''[https://dl.acm.org/citation.cfm?id=1045183.1045188&coll=DL&dl=GUIDE Fourth U.S. Computer Chess Championship]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 44 » [[ACM 1973]]
* [[Richard Fikes]] ('''1974'''). ''[https://dl.acm.org/citation.cfm?id=1045224 Chess]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 45
* [[Richard Fikes]] ('''1974'''). ''[https://dl.acm.org/citation.cfm?id=1056794 Chess]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 46
* [[Richard Fikes]] ('''1974'''). ''[https://dl.acm.org/citation.cfm?id=1045192&dl=ACM&coll=DL First World Computer Chess Championship]''. [[ACM#SIG|ACM SIGART Bulletin]], No. 47 » [[WCCC 1974]]
==1980 ...==
* [[Richard Fikes]] ('''1982'''). ''[https://www.aaai.org/ojs/index.php/aimagazine/article/view/379 A Representation System User Interface for Knowledge Base Designers]''. [https://en.wikipedia.org/wiki/AI_Magazine AI Magazine] Vol. 3, No. 4
* [[Robert Nado]], [[Richard Fikes]] ('''1987'''). ''[https://dl.acm.org/citation.cfm?id=1863776 Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults]''. [[Conferences#AAAI-87|AAAI 1987]] <ref>[https://en.wikipedia.org/wiki/Frame_language Frame language from Wikipedia]</ref>
==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]] ('''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>
==2000 ...==
* [https://dblp.uni-trier.de/pers/hd/z/Zeng:Honglei Honglei Zeng], [https://dblp.uni-trier.de/pers/hd/a/Alhossaini:Maher_A=.html Maher Alhossaini], [https://dblp.uni-trier.de/pers/hd/d/Ding_0001:Li Li Ding], [[Richard Fikes]], [https://dblp.uni-trier.de/pers/hd/m/McGuinness:Deborah_L= Deborah L. McGuinness] ('''2006'''). ''[https://ebiquity.umbc.edu/paper/html/id/320/Computing-Trust-from-Revision-History Computing Trust from Revision History]''. [https://dblp.uni-trier.de/db/conf/pst/pst2006.html PST 2006]
=External Links=
* [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://engineering.stanford.edu/people/richard-fikes Richard Fikes | Engineering]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Researcher|Fikes]]
