Richard Fikes - RankMe

62 papers A* 18A 1B 1C 4Misc 2Journal 23Unranked 13

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Knowledge Representation and Reasoning - A History of DARPA Leadership. AI Mag. Richard Fikes, Tom Garvey
2011	B	`conf`	What is hard about representing biology textbook knowledge. K-CAP Vinay K. Chaudhri, Andrew Goldenkranz, Richard Fikes, Patrice Seyed
2010	C	`conf`	A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. FOIS Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman
2006	C	`conf`	A Reusable Ontology for Fluents in OWL. FOIS Christopher A. Welty, Richard Fikes
2006	J	`jnl`	A proof markup language for Semantic Web services. Inf. Syst. Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes
2006	C	`conf`	Computing trust from revision history. PST Honglei Zeng, Maher A. Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness
2006	A*	`conf`	Design and Implementation of the CALO Query Manager. AAAI José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang
2006	C	`conf`	Mining Revision History to Assess Trustworthiness of Article Fragments. CollaborateCom Honglei Zeng, Maher A. Alhossaini, Richard Fikes, Deborah L. McGuinness
2005	—	`conf`	Explaining Results from Information Retrieval and Integration. ExaCt Honglei Zeng, Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes
2005	—	`conf`	Integration of Heterogeneous Knowledge Sources in the CALO Query Manager. OTM Workshops José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang
2004	Misc	`conf`	Contexts for the Semantic Web. ISWC Ramanathan V. Guha, Rob McCool, Richard Fikes
2004	J	`jnl`	OWL-QL - a language for deductive query answering on the Semantic Web. J. Web Semant. Richard Fikes, Patrick J. Hayes, Ian Horrocks
2003	—	`conf`	DAML-ONT: An Ontology Language for the Semantic Web. Spinning the Semantic Web Deborah L. McGuinness, Richard Fikes, Lynn Andrea Stein, James A. Hendler
2003	Misc	`conf`	Including Domain-Specific Reasoners with Reusable Ontologies. IKE Richard Fikes, Jessica Jenkins, Qing Zhou
2002	J	`jnl`	DAML+OIL: An Ontology Language for the Semantic Web. IEEE Intell. Syst. Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein
2002	J	`jnl`	IEEE Intelligent Systems: DAML+OIL: An Ontology Language for the Semantic Web. IEEE Distributed Syst. Online Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein
2000	A*	`conf`	An Environment for Merging and Testing Large Ontologies. KR Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder
2000	J	`jnl`	Reports on the AAAI Fall Symposia (November 1999 and November 1998). AI Mag. 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
2000	—	`conf`	The Chimaera Ontology Environment. AAAI/IAAI Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder
1999	J	`jnl`	Building a large knowledge base from a structured source. IEEE Intell. Syst. Gleb Frank, Adam Farquhar, Richard Fikes
1998	—	`conf`	OKBC: A Programmatic Foundation for Knowledge Base Interoperability. AAAI/IAAI Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James Rice
1997	—	`conf`	A Web-Based Compositional Modeling System for Sharing of Physical Knowledge. IJCAI (1) Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice
1997	J	`jnl`	Automated Model Selection for Simulation Based on Relevance Reasoning. Artif. Intell. Alon Y. Levy, Yumi Iwasaki, Richard Fikes
1997	J	`jnl`	Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms. Artif. Intell. Alon Y. Levy, Richard Fikes, Yehoshua Sagiv
1997	J	`jnl`	The Ontolingua Server: a tool for collaborative ontology construction. Int. J. Hum. Comput. Stud. Adam Farquhar, Richard Fikes, James Rice
1997	—	`conf`	Tools for Assembling Modular Ontologies in Ontolingua. AAAI/IAAI Richard Fikes, Adam Farquhar, James Rice
1996	A*	`conf`	Ontologies: What Are They, and Where's The Research? KR Richard Fikes
1995	A	`conf`	A Declarative Formalization of Knowledge Translation. CIKM Sasa Buvac, Richard Fikes
1995	J	`jnl`	Causal functional representation language with behavior-based semantics. Appl. Artif. Intell. Yumi Iwasaki, Marcos Vescovi, Richard Fikes, B. Chandrasekaran
1994	A*	`conf`	The Role of Reversible Grammars in Translating Between Representation Languages. KR Jeffrey Van Baalen, Richard Fikes
1993	A*	`conf`	CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. AAAI Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran
1993	A*	`conf`	How Things are Intended to Work: Capturing Functional Knowledge in Device Design. IJCAI Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran
1993	J	`jnl`	PACT: An Experiment in Integrating Concurrent Engineering Systems. Computer Mark R. Cutkosky, Robert S. Engelmore, Richard Fikes, Michael R. Genesereth, Thomas R. Gruber, William S. Mark, Jay M. Tenenbaum, Jay C. Weber
1993	A*	`ed.`	Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993. AAAI Richard Fikes, Wendy G. Lehnert
1993	J	`jnl`	STRIPS, A Retrospective. Artif. Intell. Richard Fikes
1992	A*	`conf`	The DARPA Knowledge Sharing Effort: A Progress Report. KR Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches
1991	J	`jnl`	Enabling Technology for Knowledge Sharing. AI Mag. Robert Neches, Richard Fikes, Timothy W. Finin, Thomas R. Gruber, Ramesh S. Patil, Ted E. Senator, William R. Swartout
1991	J	`jnl`	JOSIE: An Integration of Specialized Representation and Reasoning Tools. SIGART Bull. Robert Nado, Jeffrey Van Baalen, Richard Fikes
1991	A*	`ed.`	Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991. KR James F. Allen, Richard Fikes, Erik Sandewall
1990	A*	`conf`	AI and Software Engineering - Managing Exploratory Programming. AAAI Richard Fikes
1987	A*	`conf`	Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults. AAAI Robert Nado, Richard Fikes
1986	A*	`conf`	Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage? AAAI Robert Neches, Richard Fikes, Casimir A. Kulikowski, John P. McDermott, Ramesh S. Patil
1985	J	`jnl`	The Role of Frame-Based Representation in Reasoning. Commun. ACM Richard Fikes, Tom Kehler
1984	J	`jnl`	Minutes of the Fourth Annual Meeting of the American Association for Artificial Intelligence. AI Mag. Richard Fikes
1983	A*	`conf`	KRYPTON: Integrating Terminology and Assertion. AAAI Ronald J. Brachman, Hector J. Levesque, Richard Fikes
1983	J	`jnl`	Krypton: A Functional Approach to Knowledge Representation. Computer Ronald J. Brachman, Richard Fikes, Hector J. Levesque
1982	J	`jnl`	A Representation System User Interface for Knowledge Base Designers. AI Mag. Richard Fikes
1982	A*	`conf`	RABBIT: An Intelligent Database Assistant. AAAI Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone
1981	J	`jnl`	Odyssey: A Knowledge-Based Assistant. Artif. Intell. Richard Fikes
1980	A*	`conf`	On Supporting the Use of Procedures in Office Work. AAAI Richard Fikes, D. Austin Henderson Jr.
1977	A*	`conf`	A Network-Based Knowledge Representation and Its Natural Deduction System. IJCAI Richard Fikes, Gary G. Hendrix
1976	—	`conf`	Automatic synthesis - programs and plans. ACM Annual Conference Cordell Green, Richard Fikes, Martin Kay
1976	—	`conf`	SIGART(Tutorial Session). ACM Annual Conference Ira P. Goldstein, Gary G. Hendrix, Richard Fikes
1976	—	`conf`	SIGART(Tutorial Session). ACM Annual Conference Cordell Green, Richard Fikes, Martin Kay
1976	—	`conf`	SPADOR: A scheduler, planner, and administrator of operations and resources. ACM Annual Conference Richard Fikes
1976	—	`conf`	The role of representation in artificial intelligence(Tutorial Session). ACM Annual Conference Ira P. Goldstein, Gary G. Hendrix, Richard Fikes
1975	A*	`conf`	Deductive Retrieval Mechanisms for State Description Models. IJCAI Richard Fikes
1972	J	`jnl`	Learning and Executing Generalized Robot Plans. Artif. Intell. Richard Fikes, Peter E. Hart, Nils J. Nilsson
1971	—	`conf`	Monitored Execution of Robot Plans Producted by IFIP Congress (1) Richard Fikes
1971	A*	`conf`	STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. IJCAI Richard Fikes, Nils J. Nilsson
1971	J	`jnl`	STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artif. Intell. Richard Fikes, Nils J. Nilsson
1970	J	`jnl`	REF-ARF: A System for Solving Problems Stated as Procedures. Artif. Intell. Richard Fikes