Richard Fikes

	2011
54		Vinay K. Chaudhri, Andrew Goldenkranz, Richard Fikes, Patrice Seyed: What is hard about representing biology textbook knowledge. K-CAP 2011: 185-186
	2010
53		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: 158-171
	2006
52		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: 1751-1758
51		Christopher A. Welty, Richard Fikes: A Reusable Ontology for Fluents in OWL. FOIS 2006: 226-236
50		Honglei Zeng, Maher A. Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness: Computing trust from revision history. PST 2006: 8
49		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
48		Honglei Zeng, Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes: Explaining Results from Information Retrieval and Integration. ExaCt 2005: 103-
47		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
46		Ramanathan V. Guha, Rob McCool, Richard Fikes: Contexts for the Semantic Web. International Semantic Web Conference 2004: 32-46
45		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
44		Richard Fikes, Jessica Jenkins, Qing Zhou: Including Domain-Specific Reasoners with Reusable Ontologies. IKE 2003: 262-268
43		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
42		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)
41		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
40		Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder: The Chimaera Ontology Environment. AAAI/IAAI 2000: 1123-1124
39		Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder: An Environment for Merging and Testing Large Ontologies. KR 2000: 483-493
38		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
37		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
36		Richard Fikes, Adam Farquhar, James Rice: Tools for Assembling Modular Ontologies in Ontolingua. AAAI/IAAI 1997: 436-441
35		Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice: A Web-Based Compositional Modeling System for Sharing of Physical Knowledge. IJCAI (1) 1997: 494-500
34		Alon Y. Levy, Yumi Iwasaki, Richard Fikes: Automated Model Selection for Simulation Based on Relevance Reasoning. Artif. Intell. 96(2): 351-394 (1997)
33		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)
32		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
31		Richard Fikes: Ontologies: What Are They, and Where's The Research? KR 1996: 652-653
	1995
30		Sasa Buvac, Richard Fikes: A Declarative Formalization of Knowledge Translation. CIKM 1995: 340-347
29		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
28		Jeffrey Van Baalen, Richard Fikes: The Role of Reversible Grammars in Translating Between Representation Languages. KR 1994: 562-571
	1993
27		Richard Fikes, Wendy G. Lehnert: Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993. AAAI Press / The MIT Press 1993
26		Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran: CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. AAAI 1993: 626-633
25		Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran: How Things are Intended to Work: Capturing Functional Knowledge in Device Design. IJCAI 1993: 1516-1522
24		Richard Fikes: STRIPS, A Retrospective. Artif. Intell. 59(1-2): 227-232 (1993)
23		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
22		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
21		James F. Allen, Richard Fikes, Erik Sandewall: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991. Morgan Kaufmann 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)

Coauthor Index

1	Maher A. Alhossaini	[50]
2	James F. Allen	[21]
3	José Luis Ambite	[47] [52]
4	Jeffrey Van Baalen	[19] [28]
5	Ronald J. Brachman (Ron Brachman)	[12] [13]
6	Bert Bredeweg	[53]
7	Susan Brennan	[38]
8	Sasa Buvac	[30]
9	B. Chandrasekaran (Balakrishnan Chandrasekaran)	[25] [26] [29]
10	Vinay K. Chaudhri	[37] [47] [52] [53] [54]
11	Vinay Chaudri	[38]
12	Mark R. Cutkosky	[23]
13	Fawzi Daud	[38]
14	Li Ding	[50]
15	Robert S. Engelmore	[23]
16	Adam Farquhar	[32] [35] [36] [37]
17	Timothy W. Finin (Tim Finin)	[20] [22]
18	Michael R. Genesereth	[23]
19	Alain Giboin	[38]
20	Andrew Goldenkranz	[54]
21	Thomas R. Gruber (Tom Gruber)	[20] [22] [23]
22	Ramanathan V. Guha	[46]
23	Alon Y. Halevy (Alon Y. Levy)	[33] [34]
24	Peter E. Hart	[5]
25	Patrick J. Hayes	[45]
26	Austin Henderson (D. Austin Henderson Jr.)	[8] [11]
27	James A. Hendler (Jim Hendler)	[41] [42] [43]
28	Gary G. Hendrix	[7]
29	Ian Horrocks	[45]
30	Yumi Iwasaki	[25] [26] [29] [34] [35]
31	Jessica Jenkins	[44] [47] [52]
32	David Jensen	[38]
33	Peter D. Karp	[37]
34	Tom Kehler	[15]
35	Casimir A. Kulikowski	[16]
36	Wendy G. Lehnert	[27]
37	Hector J. Levesque	[12] [13]
38	Thomas W. Malone	[11]
39	William S. Mark	[23]
40	Michael Mateas	[38]
41	Rob McCool	[46]
42	John P. McDermott	[16]
43	Deborah L. McGuinness	[39] [40] [41] [42] [43] [48] [49] [50]
44	Sheila A. McIlraith	[53]
45	Donald P. McKay	[22]
46	Sunil Mishra	[47] [52]
47	Maria Muslea	[47] [52]
48	Robert Nado	[17] [19]
49	Robert Neches	[16] [20] [22]
50	Nils J. Nilsson	[2] [3] [5]
51	Peter F. Patel-Schneider	[22]
52	Ramesh S. Patil	[16] [20] [22]
53	Richard Power	[38]
54	James Rice	[32] [35] [36] [37] [39] [40]
55	Yehoshua Sagiv	[33]
56	Erik Sandewall	[21]
57	Donia Scott	[38]
58	Ted E. Senator	[20]
59	Phoebe Sengers	[38]
60	Patrice Seyed	[54]
61	Paulo Pinheiro da Silva	[48] [49]
62	Lynn Andrea Stein	[41] [42] [43]
63	William R. Swartout	[20]
64	Jay M. Tenenbaum	[23]
65	Frederich N. Tou	[11]
66	David R. Traum	[38]
67	Tomás E. Uribe	[47] [52]
68	Marcos Vescovi	[25] [26] [29]
69	Jay C. Weber	[23]
70	Michael P. Wellman	[53]
71	Christopher A. Welty (Chris Welty)	[51]
72	Steve Wilder	[39] [40]
73	Michael D. Williams	[11]
74	Guizhen Yang	[47] [52]
75	Honglei Zeng	[48] [50]
76	Qing Zhou	[44]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page