| 2006 |
|---|
| 48 | | 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 |
| 47 | EE | 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) |
| 2005 |
|---|
| 46 | | Honglei Zeng,
Deborah L. McGuinness,
Paulo Pinheiro da Silva,
Richard Fikes:
Explaining Results from Information Retrieval and Integration.
ExaCt 2005: 103- |
| 45 | EE | 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 |
|---|
| 44 | EE | Ramanathan V. Guha,
Rob McCool,
Richard Fikes:
Contexts for the Semantic Web.
International Semantic Web Conference 2004: 32-46 |
| 43 | EE | Richard Fikes,
Patrick J. Hayes,
Ian Horrocks:
OWL-QL - a language for deductive query answering on the Semantic Web.
J. Web Sem. 2(1): 19-29 (2004) |
| 2003 |
|---|
| 42 | | Richard Fikes,
Jessica Jenkins,
Qing Zhou:
Including Domain-Specific Reasoners with Reusable Ontologies.
IKE 2003: 262-268 |
| 41 | | 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 |
| 2002 |
|---|
| 40 | EE | 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 Systems Online 3(11): (2002) |
| 39 | EE | Deborah L. McGuinness,
Richard Fikes,
James A. Hendler,
Lynn Andrea Stein:
DAML+OIL: An Ontology Language for the Semantic Web.
IEEE Intelligent Systems 17(5): 72-80 (2002) |
| 2000 |
|---|
| 38 | | Deborah L. McGuinness,
Richard Fikes,
James Rice,
Steve Wilder:
The Chimaera Ontology Environment.
AAAI/IAAI 2000: 1123-1124 |
| 37 | | Deborah L. McGuinness,
Richard Fikes,
James Rice,
Steve Wilder:
An Environment for Merging and Testing Large Ontologies.
KR 2000: 483-493 |
| 36 | | Fawzi Daud,
Michael Mateas,
Phoebe Sengers,
Susan Brennan,
Alain Giboin,
David R. Traum,
Vinay Chaudri,
Richard Fikes,
Donia Scott,
Richard Power,
David Jensen:
Reports on the AAAI Fall Symposia (November 1999 and November 1998).
AI Magazine 21(2): 85-88 (2000) |
| 1998 |
|---|
| 35 | | 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 |
|---|
| 34 | | Richard Fikes,
Adam Farquhar,
James Rice:
Tools for Assembling Modular Ontologies in Ontolingua.
AAAI/IAAI 1997: 436-441 |
| 33 | | Yumi Iwasaki,
Adam Farquhar,
Richard Fikes,
James Rice:
A Web-Based Compositional Modeling System for Sharing of Physical Knowledge.
IJCAI (1) 1997: 494-500 |
| 32 | EE | Alon Y. Levy,
Yumi Iwasaki,
Richard Fikes:
Automated Model Selection for Simulation Based on Relevance Reasoning.
Artif. Intell. 96(2): 351-394 (1997) |
| 31 | EE | 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) |
| 30 | EE | 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) |
| 1996 |
|---|
| 29 | | Richard Fikes:
Ontologies: What Are They, and Where's The Research?
KR 1996: 652-653 |
| 1995 |
|---|
| 28 | EE | Sasa Buvac,
Richard Fikes:
A Declarative Formalization of Knowledge Translation.
CIKM 1995: 340-347 |
| 27 | | Yumi Iwasaki,
Marcos Vescovi,
Richard Fikes,
B. Chandrasekaran:
Causal functional representation language with behavior-based semantics.
Applied Artificial Intelligence 9(1): 5-31 (1995) |
| 1994 |
|---|
| 26 | | Jeffrey Van Baalen,
Richard Fikes:
The Role of Reversible Grammars in Translating Between Representation Languages.
KR 1994: 562-571 |
| 1993 |
|---|
| 25 | | Marcos Vescovi,
Yumi Iwasaki,
Richard Fikes,
B. Chandrasekaran:
CFRL: A Language for Specifying the Causal Functionality of Engineered Devices.
AAAI 1993: 626-633 |
| 24 | | Yumi Iwasaki,
Richard Fikes,
Marcos Vescovi,
B. Chandrasekaran:
How Things are Intended to Work: Capturing Functional Knowledge in Device Design.
IJCAI 1993: 1516-1522 |
| 23 | | Richard Fikes:
STRIPS, A Retrospective.
Artif. Intell. 59(1-2): 227-232 (1993) |
| 22 | | 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.
IEEE Computer 26(1): 28-37 (1993) |
| 1992 |
|---|
| 21 | | 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 |
|---|
| 20 | | 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 Magazine 12(3): 36-56 (1991) |
| 19 | | Robert Nado,
Jeffrey Van Baalen,
Richard Fikes:
JOSIE: An Integration of Specialized Representation and Reasoning Tools.
SIGART Bulletin 2(3): 101-107 (1991) |
| 1990 |
|---|
| 18 | | Richard Fikes:
AI and Software Engineering - Managing Exploratory Programming.
AAAI 1990: 1126-1127 |
| 1987 |
|---|
| 17 | | Robert Nado,
Richard Fikes:
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults.
AAAI 1987: 443-448 |
| 1986 |
|---|
| 16 | | 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 |
|---|
| 15 | | Richard Fikes,
Tom Kehler:
The Role of Frame-Based Representation in Reasoning.
Commun. ACM 28(9): 904-920 (1985) |
| 1984 |
|---|
| 14 | | Richard Fikes:
Minutes of the Fourth Annual Meeting of the American Association for Artificial Intelligence.
AI Magazine 5(1): 77 (1984) |
| 1983 |
|---|
| 13 | | Ronald J. Brachman,
Hector J. Levesque,
Richard Fikes:
KRYPTON: Integrating Terminology and Assertion.
AAAI 1983: 31-35 |
| 12 | | Ronald J. Brachman,
Richard Fikes,
Hector J. Levesque:
Krypton: A Functional Approach to Knowledge Representation.
IEEE Computer 16(10): 67-73 (1983) |
| 1982 |
|---|
| 11 | | Frederich N. Tou,
Michael D. Williams,
Richard Fikes,
D. Austin Henderson Jr.,
Thomas W. Malone:
RABBIT: An Intelligent Database Assistant.
AAAI 1982: 314-318 |
| 10 | | Richard Fikes:
A Representation System User Interface for Knowledge Base Designers.
AI Magazine 3(4): 28-33 (1982) |
| 1981 |
|---|
| 9 | | Richard Fikes:
Odyssey: A Knowledge-Based Assistant.
Artif. Intell. 16(3): 331-361 (1981) |
| 1980 |
|---|
| 8 | | Richard Fikes,
D. Austin Henderson Jr.:
On Supporting the Use of Procedures in Office Work.
AAAI 1980: 202-207 |
| 1977 |
|---|
| 7 | | Richard Fikes,
Gary G. Hendrix:
A Network-Based Knowledge Representation and Its Natural Deduction System.
IJCAI 1977: 235-246 |
| 1975 |
|---|
| 6 | | Richard Fikes:
Deductive Retrieval Mechanisms for State Description Models.
IJCAI 1975: 99-106 |
| 1972 |
|---|
| 5 | | Richard Fikes,
Peter E. Hart,
Nils J. Nilsson:
Learning and Executing Generalized Robot Plans.
Artif. Intell. 3(1-3): 251-288 (1972) |
| 1971 |
|---|
| 4 | | Richard Fikes:
Monitored Execution of Robot Plans Producted by STRIPS.
IFIP Congress (1) 1971: 189-194 |
| 3 | | Richard Fikes,
Nils J. Nilsson:
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.
IJCAI 1971: 608-620 |
| 2 | | 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) |
| 1970 |
|---|
| 1 | | Richard Fikes:
REF-ARF: A System for Solving Problems Stated as Procedures.
Artif. Intell. 1(1/2): 27-120 (1970) |
