Richard Fikes

According to our database, Richard Fikes authored at least 70 papers between 1968 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Knowledge Representation and Reasoning - A History of DARPA Leadership.

Richard Fikes, Tom Garvey

AI Mag., 2020

2011

What is hard about representing biology textbook knowledge.

Vinay K. Chaudhri, Andrew Goldenkranz, Richard Fikes, Patrice Seyed

Proceedings of the 6th International Conference on Knowledge Capture (K-CAP 2011), 2011

2010

A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base.

Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman

Proceedings of the Formal Ontology in Information Systems, 2010

2006

A proof markup language for Semantic Web services.

Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes

Inf. Syst., 2006

Computing trust from revision history.

Honglei Zeng, Maher A. Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness

Proceedings of the 2006 International Conference on Privacy, 2006

A Reusable Ontology for Fluents in OWL.

Christopher A. Welty, Richard Fikes

Proceedings of the Formal Ontology in Information Systems, 2006

Mining Revision History to Assess Trustworthiness of Article Fragments.

Honglei Zeng, Maher A. Alhossaini, Richard Fikes, Deborah L. McGuinness

Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006

Design and Implementation of the CALO Query Manager.

José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang

Proceedings of the Proceedings, 2006

2005

Integration of Heterogeneous Knowledge Sources in the CALO Query Manager.

José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Explaining Results from Information Retrieval and Integration.

Honglei Zeng, Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes

Proceedings of the Explanation-Aware Computing, 2005

2004

OWL-QL - a language for deductive query answering on the Semantic Web.

Richard Fikes, Patrick J. Hayes, Ian Horrocks

J. Web Semant., 2004

Contexts for the Semantic Web.

Ramanathan V. Guha, Rob McCool, Richard Fikes

Proceedings of the Semantic Web, 2004

2003

Including Domain-Specific Reasoners with Reusable Ontologies.

Richard Fikes, Jessica Jenkins, Qing Zhou

Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

DAML-ONT: An Ontology Language for the Semantic Web.

Deborah L. McGuinness, Richard Fikes, Lynn Andrea Stein, James A. Hendler

Proceedings of the Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar], 2003

2002

DAML+OIL: An Ontology Language for the Semantic Web.

Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein

IEEE Intell. Syst., 2002

IEEE Intelligent Systems: DAML+OIL: An Ontology Language for the Semantic Web.

Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein

IEEE Distributed Syst. Online, 2002

2000

Reports on the AAAI Fall Symposia (November 1999 and November 1998).

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

AI Mag., 2000

An Environment for Merging and Testing Large Ontologies.

Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder

Proceedings of the KR 2000, 2000

The Chimaera Ontology Environment.

Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Building a large knowledge base from a structured source.

Gleb Frank, Adam Farquhar, Richard Fikes

IEEE Intell. Syst., 1999

Distributed repositories of highly expressive reusable ontologies.

Rich Fikes, Adam Farquhar

IEEE Intell. Syst., 1999

1998

OKBC: A Programmatic Foundation for Knowledge Base Interoperability.

Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James Rice

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

The Ontolingua Server: a tool for collaborative ontology construction.

Adam Farquhar, Richard Fikes, James Rice

Int. J. Hum. Comput. Stud., 1997

Automated Model Selection for Simulation Based on Relevance Reasoning.

Alon Y. Levy, Yumi Iwasaki, Richard Fikes

Artif. Intell., 1997

Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms.

Alon Y. Levy, Richard Fikes, Yehoshua Sagiv

Artif. Intell., 1997

A Web-Based Compositional Modeling System for Sharing of Physical Knowledge.

Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Tools for Assembling Modular Ontologies in Ontolingua.

Richard Fikes, Adam Farquhar, James Rice

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Ontologies: What Are They, and Where's The Research?

Richard Fikes

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

1995

Causal functional representation language with behavior-based semantics.

Yumi Iwasaki, Marcos Vescovi, Richard Fikes, B. Chandrasekaran

Appl. Artif. Intell., 1995

A Declarative Formalization of Knowledge Translation.

Sasa Buvac, Richard Fikes

Proceedings of the CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28, 1995

1994

The Role of Reversible Grammars in Translating Between Representation Languages.

Jeffrey Van Baalen, Richard Fikes

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993

PACT: An Experiment in Integrating Concurrent Engineering Systems.

Mark R. Cutkosky, Robert S. Engelmore, Richard Fikes, Michael R. Genesereth, Thomas R. Gruber, William S. Mark, Jay M. Tenenbaum, Jay C. Weber

Computer, 1993

STRIPS, A Retrospective.

Richard Fikes

Artif. Intell., 1993

How Things are Intended to Work: Capturing Functional Knowledge in Device Design.

Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

CFRL: A Language for Specifying the Causal Functionality of Engineered Devices.

Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

The DARPA Knowledge Sharing Effort: A Progress Report.

Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991

JOSIE: An Integration of Specialized Representation and Reasoning Tools.

Robert Nado, Jeffrey Van Baalen, Richard Fikes

SIGART Bull., 1991

Enabling Technology for Knowledge Sharing.

Robert Neches, Richard Fikes, Timothy W. Finin, Thomas R. Gruber, Ramesh S. Patil, Ted E. Senator, William R. Swartout

AI Mag., 1991

1990

AI and Software Engineering - Managing Exploratory Programming.

Richard Fikes

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1987

Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults.

Robert Nado, Richard Fikes

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage?

Robert Neches, Richard Fikes, Casimir A. Kulikowski, John P. McDermott, Ramesh S. Patil

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

The Role of Frame-Based Representation in Reasoning.

Richard Fikes, Tom Kehler

Commun. ACM, 1985

1984

Minutes of the Fourth Annual Meeting of the American Association for Artificial Intelligence.

Richard Fikes

AI Mag., 1984

1983

Krypton: A Functional Approach to Knowledge Representation.

Ronald J. Brachman, Richard Fikes, Hector J. Levesque

Computer, 1983

KRYPTON: Integrating Terminology and Assertion.

Ronald J. Brachman, Hector J. Levesque, Richard Fikes

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

A Commitment-Based Framework for Describing Informal Cooperative Work.

Richard E. Fikes

Cogn. Sci., 1982

A Representation System User Interface for Knowledge Base Designers.

Richard Fikes

AI Mag., 1982

Views of office data.

S. Peter de Jong, Richard E. Fikes, Carl Hewitt, Vania Joloboss, Lance A. Miller

Proceedings of the SIGOA Conference on Office Information Systems, 1982

RABBIT: An Intelligent Database Assistant.

Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone

Proceedings of the National Conference on Artificial Intelligence, 1982

1981

Odyssey: A Knowledge-Based Assistant.

Richard Fikes

Artif. Intell., 1981

1980

On Supporting the Use of Procedures in Office Work.

Richard Fikes, D. Austin Henderson Jr.

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1977

A Network-Based Knowledge Representation and Its Natural Deduction System.

Richard Fikes, Gary G. Hendrix

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

AI sessions at ACM conference.

Rich Fikes

SIGART Newsl., 1976

QLISP: a language for the interactive development of complex systems.

Earl D. Sacerdoti, Richard E. Fikes, René Reboh, Daniel Sagalowicz, Richard J. Waldinger, B. Michael Wilber

Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

Automatic synthesis - programs and plans.

Cordell Green, Richard Fikes, Martin Kay

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SIGART(Tutorial Session).

Cordell Green, Richard Fikes, Martin Kay

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

The role of representation in artificial intelligence(Tutorial Session).

Ira P. Goldstein, Gary G. Hendrix, Richard Fikes

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SIGART(Tutorial Session).

Ira P. Goldstein, Gary G. Hendrix, Richard Fikes

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SPADOR: A scheduler, planner, and administrator of operations and resources.

Richard Fikes

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1975

Automatic Planning from a Frames Point of View.

Richard E. Fikes

Proceedings of the Theoretical Issues in Natural Language Processing, 1975

Deductive Retrieval Mechanisms for State Description Models.

Richard Fikes

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

Fourth U.S. computer chess championship.

Rich Fikes

SIGART Newsl., 1974

Chess.

Rich Fikes

SIGART Newsl., 1974

First world computer chess championship.

Rich Fikes

SIGART Newsl., 1974

1973

Themes in automatic problem solving.

Richard E. Fikes, Peter E. Hart, Bertram Raphael

Computer, 1973

1972

Learning and Executing Generalized Robot Plans.

Richard Fikes, Peter E. Hart, Nils J. Nilsson

Artif. Intell., 1972

1971

STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.

Richard Fikes, Nils J. Nilsson

Artif. Intell., 1971

Monitored Execution of Robot Plans Producted by <i>STRIPS</i>.

Richard Fikes

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1970

REF-ARF: A System for Solving Problems Stated as Procedures.

Richard Fikes

Artif. Intell., 1970

1968

Steps toward a general-purpose time-sharing system using large capacity core storage and TSS/360.

Richard E. Fikes, Hugh C. Lauer, Albin L. Vareha

Proceedings of the 23rd ACM national conference, 1968