default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRichard Fikes
Person information
- affiliation: Stanford University, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j31]Richard Fikes, Tom Garvey:
Knowledge Representation and Reasoning - A History of DARPA Leadership. AI Mag. 41(2): 9-21 (2020)
2010 – 2019
- 2011
- [c41]Vinay K. Chaudhri, Andrew Goldenkranz, Richard Fikes, Patrice Seyed:
What is hard about representing biology textbook knowledge. K-CAP 2011: 185-186 - 2010
- [c40]Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman
:
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. FOIS 2010: 158-171
2000 – 2009
- 2006
- [j30]Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes:
A proof markup language for Semantic Web services. Inf. Syst. 31(4-5): 381-395 (2006) - [c39]José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang:
Design and Implementation of the CALO Query Manager. AAAI 2006: 1751-1758 - [c38]Honglei Zeng, Maher A. Alhossaini, Richard Fikes, Deborah L. McGuinness:
Mining Revision History to Assess Trustworthiness of Article Fragments. CollaborateCom 2006 - [c37]Christopher A. Welty, Richard Fikes:
A Reusable Ontology for Fluents in OWL. FOIS 2006: 226-236 - [c36]Honglei Zeng, Maher A. Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness:
Computing trust from revision history. PST 2006: 8 - 2005
- [c35]Honglei Zeng, Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes:
Explaining Results from Information Retrieval and Integration. ExaCt 2005: 103- - [c34]José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang:
Integration of Heterogeneous Knowledge Sources in the CALO Query Manager. OTM Workshops 2005: 30-32 - 2004
- [j29]Richard Fikes, Patrick J. Hayes, Ian Horrocks:
OWL-QL - a language for deductive query answering on the Semantic Web. J. Web Semant. 2(1): 19-29 (2004) - [c33]Ramanathan V. Guha, Rob McCool, Richard Fikes:
Contexts for the Semantic Web. ISWC 2004: 32-46 - 2003
- [c32]Deborah L. McGuinness, Richard Fikes, Lynn Andrea Stein, James A. Hendler:
DAML-ONT: An Ontology Language for the Semantic Web. Spinning the Semantic Web 2003: 65-93 - [c31]Richard Fikes, Jessica Jenkins, Qing Zhou:
Including Domain-Specific Reasoners with Reusable Ontologies. IKE 2003: 262-268 - 2002
- [j28]Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein:
IEEE Intelligent Systems: DAML+OIL: An Ontology Language for the Semantic Web. IEEE Distributed Syst. Online 3(11) (2002) - [j27]Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein:
DAML+OIL: An Ontology Language for the Semantic Web. IEEE Intell. Syst. 17(5): 72-80 (2002) - 2000
- [j26]Fawzi Daud, Michael Mateas, Phoebe Sengers, Susan Brennan, Alain Giboin, David R. Traum, Vinay K. Chaudri, Richard Fikes, Donia Scott, Richard Power, David D. Jensen:
Reports on the AAAI Fall Symposia (November 1999 and November 1998). AI Mag. 21(2): 85-88 (2000) - [c30]Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder:
The Chimaera Ontology Environment. AAAI/IAAI 2000: 1123-1124 - [c29]Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder:
An Environment for Merging and Testing Large Ontologies. KR 2000: 483-493
1990 – 1999
- 1999
- [j25]Gleb Frank, Adam Farquhar, Richard Fikes:
Building a large knowledge base from a structured source. IEEE Intell. Syst. 14(1): 47-54 (1999) - [j24]Rich Fikes, Adam Farquhar:
Distributed repositories of highly expressive reusable ontologies. IEEE Intell. Syst. 14(2): 73-79 (1999) - 1998
- [c28]Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James Rice:
OKBC: A Programmatic Foundation for Knowledge Base Interoperability. AAAI/IAAI 1998: 600-607 - 1997
- [j23]Alon Y. Levy, Yumi Iwasaki, Richard Fikes:
Automated Model Selection for Simulation Based on Relevance Reasoning. Artif. Intell. 96(2): 351-394 (1997) - [j22]Alon Y. Levy, Richard Fikes, Yehoshua Sagiv:
Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms. Artif. Intell. 97(1-2): 83-136 (1997) - [j21]Adam Farquhar, Richard Fikes, James Rice:
The Ontolingua Server: a tool for collaborative ontology construction. Int. J. Hum. Comput. Stud. 46(6): 707-727 (1997) - [c27]Richard Fikes, Adam Farquhar, James Rice:
Tools for Assembling Modular Ontologies in Ontolingua. AAAI/IAAI 1997: 436-441 - [c26]Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice:
A Web-Based Compositional Modeling System for Sharing of Physical Knowledge. IJCAI (1) 1997: 494-500 - 1996
- [c25]Richard Fikes:
Ontologies: What Are They, and Where's The Research? KR 1996: 652-653 - 1995
- [j20]Yumi Iwasaki, Marcos Vescovi, Richard Fikes, B. Chandrasekaran:
Causal functional representation language with behavior-based semantics. Appl. Artif. Intell. 9(1): 5-31 (1995) - [c24]Sasa Buvac, Richard Fikes:
A Declarative Formalization of Knowledge Translation. CIKM 1995: 340-347 - 1994
- [c23]Jeffrey Van Baalen, Richard Fikes:
The Role of Reversible Grammars in Translating Between Representation Languages. KR 1994: 562-571 - 1993
- [j19]Richard Fikes:
STRIPS, A Retrospective. Artif. Intell. 59(1-2): 227-232 (1993) - [j18]Mark R. Cutkosky, Robert S. Engelmore, Richard Fikes, Michael R. Genesereth, Thomas R. Gruber, William S. Mark, Jay M. Tenenbaum, Jay C. Weber:
PACT: An Experiment in Integrating Concurrent Engineering Systems. Computer 26(1): 28-37 (1993) - [c22]Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran:
CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. AAAI 1993: 626-633 - [c21]Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran:
How Things are Intended to Work: Capturing Functional Knowledge in Device Design. IJCAI 1993: 1516-1522 - [e2]Richard Fikes, Wendy G. Lehnert:
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993. AAAI Press / The MIT Press 1993, ISBN 0-262-51071-5 [contents] - 1992
- [c20]Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches:
The DARPA Knowledge Sharing Effort: A Progress Report. KR 1992: 777-788 - 1991
- [j17]Robert Neches, Richard Fikes, Timothy W. Finin, Thomas R. Gruber, Ramesh S. Patil, Ted E. Senator, William R. Swartout:
Enabling Technology for Knowledge Sharing. AI Mag. 12(3): 36-56 (1991) - [j16]Robert Nado, Jeffrey Van Baalen, Richard Fikes:
JOSIE: An Integration of Specialized Representation and Reasoning Tools. SIGART Bull. 2(3): 101-107 (1991) - [e1]James F. Allen, Richard Fikes, Erik Sandewall:
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991. Morgan Kaufmann 1991, ISBN 1-55860-165-1 [contents] - 1990
- [c19]Richard Fikes:
AI and Software Engineering - Managing Exploratory Programming. AAAI 1990: 1126-1127
1980 – 1989
- 1987
- [c18]Robert Nado, Richard Fikes:
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults. AAAI 1987: 443-448 - 1986
- [c17]Robert Neches, Richard Fikes, Casimir A. Kulikowski, John P. McDermott, Ramesh S. Patil:
Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage? AAAI 1986: 1153 - 1985
- [j15]Richard Fikes, Tom Kehler:
The Role of Frame-Based Representation in Reasoning. Commun. ACM 28(9): 904-920 (1985) - 1984
- [j14]Richard Fikes:
Minutes of the Fourth Annual Meeting of the American Association for Artificial Intelligence. AI Mag. 5(1): 77 (1984) - 1983
- [j13]Ronald J. Brachman, Richard Fikes, Hector J. Levesque:
Krypton: A Functional Approach to Knowledge Representation. Computer 16(10): 67-73 (1983) - [c16]Ronald J. Brachman, Hector J. Levesque, Richard Fikes:
KRYPTON: Integrating Terminology and Assertion. AAAI 1983: 31-35 - 1982
- [j12]Richard Fikes:
A Representation System User Interface for Knowledge Base Designers. AI Mag. 3(4): 28-33 (1982) - [j11]Richard E. Fikes:
A Commitment-Based Framework for Describing Informal Cooperative Work. Cogn. Sci. 6(4): 331-347 (1982) - [c15]Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone:
RABBIT: An Intelligent Database Assistant. AAAI 1982: 314-318 - [c14]S. Peter de Jong, Richard E. Fikes, Carl Hewitt, Vania Joloboss, Lance A. Miller:
Views of office data. COCS 1982: 122 - 1981
- [j10]Richard Fikes:
Odyssey: A Knowledge-Based Assistant. Artif. Intell. 16(3): 331-361 (1981) - 1980
- [c13]Richard Fikes, D. Austin Henderson Jr.:
On Supporting the Use of Procedures in Office Work. AAAI 1980: 202-207
1970 – 1979
- 1977
- [c12]Richard Fikes, Gary G. Hendrix:
A Network-Based Knowledge Representation and Its Natural Deduction System. IJCAI 1977: 235-246 - 1976
- [j9]Rich Fikes:
AI sessions at ACM conference. SIGART Newsl. 58: 13-16 (1976) - [c11]Ira P. Goldstein, Gary G. Hendrix, Richard Fikes:
SIGART(Tutorial Session). ACM Annual Conference 1976: 69 - [c10]Ira P. Goldstein, Gary G. Hendrix, Richard Fikes:
The role of representation in artificial intelligence(Tutorial Session). ACM Annual Conference 1976: 70-72 - [c9]Cordell Green, Richard Fikes, Martin Kay:
SIGART(Tutorial Session). ACM Annual Conference 1976: 73 - [c8]Cordell Green, Richard Fikes, Martin Kay:
Automatic synthesis - programs and plans. ACM Annual Conference 1976: 74-75 - [c7]Richard Fikes:
SPADOR: A scheduler, planner, and administrator of operations and resources. ACM Annual Conference 1976: 75-76 - [c6]Earl D. Sacerdoti, Richard E. Fikes, René Reboh, Daniel Sagalowicz, Richard J. Waldinger, B. Michael Wilber:
QLISP: a language for the interactive development of complex systems. AFIPS National Computer Conference 1976: 349-356 - 1975
- [c5]Richard Fikes:
Deductive Retrieval Mechanisms for State Description Models. IJCAI 1975: 99-106 - [c4]Richard E. Fikes:
Automatic Planning from a Frames Point of View. TINLAP (supplement) 1975 - 1974
- [j8]Rich Fikes:
Fourth U.S. computer chess championship. SIGART Newsl. 44: 13-22 (1974) - [j7]Rich Fikes:
Chess. SIGART Newsl. 45: 12-13 (1974) - [j6]Rich Fikes:
Chess. SIGART Newsl. 46: 17-20 (1974) - [j5]Rich Fikes:
First world computer chess championship. SIGART Newsl. 47: 15-16 (1974) - 1973
- [j4]Richard E. Fikes, Peter E. Hart, Bertram Raphael:
Themes in automatic problem solving. Computer 6(5): 11-18 (1973) - 1972
- [j3]Richard Fikes, Peter E. Hart, Nils J. Nilsson:
Learning and Executing Generalized Robot Plans. Artif. Intell. 3(1-3): 251-288 (1972) - 1971
- [j2]Richard Fikes, Nils J. Nilsson:
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artif. Intell. 2(3/4): 189-208 (1971) - [c3]Richard Fikes:
Monitored Execution of Robot Plans Producted by STRIPS. IFIP Congress (1) 1971: 189-194 - [c2]Richard Fikes, Nils J. Nilsson:
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. IJCAI 1971: 608-620 - 1970
- [j1]Richard Fikes:
REF-ARF: A System for Solving Problems Stated as Procedures. Artif. Intell. 1(1/2): 27-120 (1970)
1960 – 1969
- 1968
- [c1]Richard E. Fikes, Hugh C. Lauer, Albin L. Vareha:
Steps toward a general-purpose time-sharing system using large capacity core storage and TSS/360. ACM National Conference 1968: 7-18
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
