Richard Fikes

Publication Activity (10 Years)

Years Active: 1970-2020
Publications (10 Years): 1

Top Topics

Autonomous Agents

Knowledge Representation And Reasoning

Automated Reasoning

Intrusion Detection

Top Venues

Publications

Richard Fikes, Tom Garvey
Knowledge Representation and Reasoning - A History of DARPA Leadership. AI Mag. 41 (2) (2020)
Vinay K. Chaudhri, Andrew Goldenkranz, Richard Fikes, Patrice Seyed
What is hard about representing biology textbook knowledge. K-CAP (2011)
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)
Honglei Zeng, Maher A. Alhossaini, Richard Fikes, Deborah L. McGuinness
Mining Revision History to Assess Trustworthiness of Article Fragments. CollaborateCom (2006)
Honglei Zeng, Maher A. Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness
Computing trust from revision history. PST (2006)
Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes
A proof markup language for Semantic Web services. Inf. Syst. 31 (4-5) (2006)
Christopher A. Welty, Richard Fikes
A Reusable Ontology for Fluents in OWL. FOIS (2006)
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)
Honglei Zeng, Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes
Explaining Results from Information Retrieval and Integration. ExaCt (2005)
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)
Ramanathan V. Guha, Rob McCool, Richard Fikes
Contexts for the Semantic Web. ISWC (2004)
Richard Fikes, Patrick J. Hayes, Ian Horrocks
OWL-QL - a language for deductive query answering on the Semantic Web. J. Web Semant. 2 (1) (2004)
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)
Richard Fikes, Jessica Jenkins, Qing Zhou
Including Domain-Specific Reasoners with Reusable Ontologies. IKE (2003)
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) (2002)
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)
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) (2000)
Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder
An Environment for Merging and Testing Large Ontologies. KR (2000)
Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder
The Chimaera Ontology Environment. AAAI/IAAI (2000)
Gleb Frank, Adam Farquhar, Richard Fikes
Building a large knowledge base from a structured source. IEEE Intell. Syst. 14 (1) (1999)
Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James Rice
OKBC: A Programmatic Foundation for Knowledge Base Interoperability. AAAI/IAAI (1998)
Alon Y. Levy, Richard Fikes, Yehoshua Sagiv
Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms. Artif. Intell. 97 (1-2) (1997)
Adam Farquhar, Richard Fikes, James Rice
The Ontolingua Server: a tool for collaborative ontology construction. Int. J. Hum. Comput. Stud. 46 (6) (1997)
Alon Y. Levy, Yumi Iwasaki, Richard Fikes
Automated Model Selection for Simulation Based on Relevance Reasoning. Artif. Intell. 96 (2) (1997)
Richard Fikes, Adam Farquhar, James Rice
Tools for Assembling Modular Ontologies in Ontolingua. AAAI/IAAI (1997)
Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice
A Web-Based Compositional Modeling System for Sharing of Physical Knowledge. IJCAI (1) (1997)
Richard Fikes
Ontologies: What Are They, and Where's The Research? KR (1996)
Yumi Iwasaki, Marcos Vescovi, Richard Fikes, B. Chandrasekaran
Causal functional representation language with behavior-based semantics. Appl. Artif. Intell. 9 (1) (1995)
Sasa Buvac, Richard Fikes
A Declarative Formalization of Knowledge Translation. CIKM (1995)
Jeffrey Van Baalen, Richard Fikes
The Role of Reversible Grammars in Translating Between Representation Languages. KR (1994)
Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran
CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. AAAI (1993)
Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran
How Things are Intended to Work: Capturing Functional Knowledge in Device Design. IJCAI (1993)
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) (1993)
Richard Fikes
STRIPS, A Retrospective. Artif. Intell. 59 (1-2) (1993)
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)
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) (1991)
Robert Nado, Jeffrey Van Baalen, Richard Fikes
JOSIE: An Integration of Specialized Representation and Reasoning Tools. SIGART Bull. 2 (3) (1991)
Richard Fikes
AI and Software Engineering - Managing Exploratory Programming. AAAI (1990)
Robert Nado, Richard Fikes
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults. AAAI (1987)
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)
Richard Fikes, Tom Kehler
The Role of Frame-Based Representation in Reasoning. Commun. ACM 28 (9) (1985)
Richard Fikes
Minutes of the Fourth Annual Meeting of the American Association for Artificial Intelligence. AI Mag. 5 (1) (1984)
Ronald J. Brachman, Hector J. Levesque, Richard Fikes
KRYPTON: Integrating Terminology and Assertion. AAAI (1983)
Ronald J. Brachman, Richard Fikes, Hector J. Levesque
Krypton: A Functional Approach to Knowledge Representation. Computer 16 (10) (1983)
Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone
RABBIT: An Intelligent Database Assistant. AAAI (1982)
Richard Fikes
A Representation System User Interface for Knowledge Base Designers. AI Mag. 3 (4) (1982)
Richard Fikes
Odyssey: A Knowledge-Based Assistant. Artif. Intell. 16 (3) (1981)
Richard Fikes, D. Austin Henderson Jr.
On Supporting the Use of Procedures in Office Work. AAAI (1980)
Richard Fikes, Gary G. Hendrix
A Network-Based Knowledge Representation and Its Natural Deduction System. IJCAI (1977)
Cordell Green, Richard Fikes, Martin Kay
Automatic synthesis - programs and plans. ACM Annual Conference (1976)
Ira P. Goldstein, Gary G. Hendrix, Richard Fikes
SIGART(Tutorial Session). ACM Annual Conference (1976)
Cordell Green, Richard Fikes, Martin Kay
SIGART(Tutorial Session). ACM Annual Conference (1976)
Richard Fikes
SPADOR: A scheduler, planner, and administrator of operations and resources. ACM Annual Conference (1976)
Ira P. Goldstein, Gary G. Hendrix, Richard Fikes
The role of representation in artificial intelligence(Tutorial Session). ACM Annual Conference (1976)
Richard Fikes
Deductive Retrieval Mechanisms for State Description Models. IJCAI (1975)
Richard Fikes, Peter E. Hart, Nils J. Nilsson
Learning and Executing Generalized Robot Plans. Artif. Intell. 3 (1-3) (1972)
Richard Fikes
. IFIP Congress (1) (1971)
Richard Fikes, Nils J. Nilsson
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artif. Intell. 2 (3/4) (1971)
Richard Fikes, Nils J. Nilsson
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. IJCAI (1971)
Richard Fikes
REF-ARF: A System for Solving Problems Stated as Procedures. Artif. Intell. 1 (1/2) (1970)