2006 | ||
---|---|---|
50 | 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 | |
49 | Christopher A. Welty, Richard Fikes: A Reusable Ontology for Fluents in OWL. FOIS 2006: 226-236 | |
48 | EE | Honglei Zeng, Maher A. Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness: Computing trust from revision history. PST 2006: 8 |
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) |