Fikes, Richard

17 publications

AAAI 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

AAAI 2000 The Chimaera Ontology Environment Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder

AAAI 1998 OKBC: A Programmatic Foundation for Knowledge Base Interoperability Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James Rice

IJCAI 1997 A Web-Based Compositional Modeling System for Sharing of Physical Knowledge Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice

AAAI 1997 Tools for Assembling Modular Ontologies in Ontolingua Richard Fikes, Adam Farquhar, James Rice

AAAI 1993 CFRL: A Language for Specifying the Causal Functionality of Engineered Devices Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran

IJCAI 1993 How Things Are Intended to Work: Capturing Functional Knowledge in Device Design Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran

AAAI 1993 Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993 Richard Fikes, Wendy G. Lehnert

AAAI 1990 AI and Software Engineering - Managing Exploratory Programming Richard Fikes

AAAI 1987 Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults Robert Nado, Richard Fikes

AAAI 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

AAAI 1983 KRYPTON: Integrating Terminology and Assertion Ronald J. Brachman, Hector J. Levesque, Richard Fikes

AAAI 1982 RABBIT: An Intelligent Database Assistant Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone

AAAI 1980 On Supporting the Use of Procedures in Office Work Richard Fikes, D. Austin Henderson Jr.

IJCAI 1977 A Network-Based Knowledge Representation and Its Natural Deduction System Richard Fikes, Gary G. Hendrix

IJCAI 1975 Deductive Retrieval Mechanisms for State Description Models Richard Fikes

IJCAI 1971 STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving Richard Fikes, Nils J. Nilsson