Richard Fikes's AcademicInfluence.com Rankings Richard Fikes's Degrees Similar Degrees You Can Earn Why Is Richard Fikes Influential? (Suggest an Edit or Addition)
According to Wikipedia , Richard Earl Fikes is a computer scientist and Professor Emeritus in the Computer Science department of Stanford University. He is professionally active as a consultant and expert witness. He led Stanford's Knowledge Systems Laboratory from 1991 to 2006, and has held appointments at Berkeley, Carnegie-Mellon, Price Waterhouse Technology Centre, Xerox PARC, and SRI International.
(See a Problem?) Richard Fikes's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
1900 1910 1920 1930 1940 1950 1960 1970 1980 1990 2000 2010 2020 0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000 5500 6000 6500 Published Works STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving (1971) Enabling Technology for Knowledge Sharing (1991) Learning and Executing Generalized Robot Plans (1993) The Ontolingua Server: a tool for collaborative ontology construction (1997) The role of frame-based representation in reasoning (1985) An Environment for Merging and Testing Large Ontologies (2000) (705)PACT: an experiment in integrating concurrent engineering systems (1993) DAML+OIL: An Ontology Language for the Semantic Web (2002) Krypton: A Functional Approach to Knowledge Representation (1983) The DARPA Knowledge Sharing Effort: A Progress Report (1997) (394)OKBC: A Programmatic Foundation for Knowledge Base Interoperability (1998) (385)OWL-QL - a language for deductive query answering on the Semantic Web (2004) The Chimaera Ontology Environment (2000) (333)A Reusable Ontology for Fluents in OWL (2006) (234)A proof markup language for Semantic Web services (2006) Contexts for the Semantic Web (2004) Computing trust from revision history (2006) REF-ARF: A System for Solving Problems Stated as Procedures (1970) Tools for Assembling Modular Ontologies in Ontolingua (1997) (141)Swartout: Enabling technology for knowledge sharing (1991) (128)RABBIT: An Intelligent Database Assistant (1982) (124)Distributed repositories of highly expressive reusable ontologies (1999) Integrating Information Sources Using Context Logic (1995) (106)JTP : A System Architecture and Component Library for Hybrid Reasoning (2003) (95)How Things are Intended to Work: Capturing Functional Knowledge in Device Design (1993) (83)Monitored Execution of Robot Plans Producted by STRIPS (1971) Collaborative Ontology Construction for Information Integration (2007) (66)KRYPTON: Integrating Terminology and Assertion (1983) (66)CFRL: A Language for Specifying the Causal Functionality of Engineered Devices (1993) (65)On Supporting the Use of Procedures in Office Work (1980) (58)A Commitment-Based Framework for Describing Informal Cooperative Work* (1982) A Reusable Time Ontology (2002) (53)Causal functional representation language with behavior-based semantics (1995) Automated Model Selection for Simulation Based on Relevance Reasoning (1997) A Web-Based Compositional Modeling System for Sharing of Physical Knowledge (1997) (49)Knowledge Sharing Technology Project Overview (1991) (48)A Network-Based Knowledge Representation and Its Natural Deduction System (1977) (48)CML: A Compositional Modeling Language (1994) (45)Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (1991) (43)A declarative formalization of knowledge translation (1995) Mining Revision History to Assess Trustworthiness of Article Fragments (2006) A Compositional Modeling Language (1996) (40)Network-Based Information Brokers (1995) (38)STRIPS, A Retrospective (1993) Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms (1997) Enterprise a Market-Like Task Scheduler for Distributed Computing Environments (2011) (36)Building a large knowledge base from a structured source (1999) Odyssey: A Knowledge-Based Assistant (1981) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (1991) (32)A Commitment-Based Framework for Describing Informal Cooperative Work (1982) Deductive Retrieval Mechanisms for State Description Models (1975) (29)Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults (1987) (26)Principles of knowledge representation and reasoning: proceedings of the second International Conference (KR91) (1991) (26)Ontologies: What Are They, and Where's The Research? (1996) (26)Information Brokers: Gathering Information from Heterogeneous Information Sources (1998) (25)Large-Scale Repositories of Highly Expressive Reusable Knowledge (1999) (25)Tracking Information Extraction from Intelligence Documents (2005) (21)QLISP: a language for the interactive development of complex systems (1976) CHICA, an abductive planning system based on Event Calculus (1994) (19)The Role of Reversible Grammars in Translating Between Representation Languages (1994) Design and Implementation of the CALO Query Manager (2006) (13)Knowledge Representation in Automatic Planning Systems (1977) Steps toward a general-purpose time-sharing system using large capacity core storage and TSS/360 (1968) Knowledge Associates for Novel Intelligence ( KANI ) (2005) (10)Saying more with frames: Slots as classes (1992) Research and applications: Artificial intelligence (1971) (9)Safety Verification Proofs for Physical Systems (1998) (8)Learning and Executing Generalized Robot Plans11The research reported herein was supported at SRI by the Advance Research Projects Agency of the Department of Defense, monitored by the U.S. Army Research Office-Durham under Contract DAHC04 72 C 0008. (1981) Question answering systems : papers from the 1999 AAAI Fall Symposium, November 5-7, North Falmouth, Massachusetts (1999) (7)Including Domain-Specific Reasoners with Reusable Ontologies (2003) (6)Combinable Proof Fragments for the Web (2003) (6)JOSIE: an integration of specialized representation and reasoning tools (1991) Formalizing Context (expanded Notes) the Development of These Ideas Has Beneetted from Discussions With (1997) (5)Themes in automatic problem solving (1973) AI and Software Engineering - Managing Exploratory Programming (1990) (4)Explaining Data Incompleteness in Knowledge Aggregation (2005) (4)A Proof-Theoretic Approach to Irrelevance: Foundations and Applications (1994) (4)Stating Problems as Procedures to a General Problem Solving Program (1970) Extracting Assumptions from Incomplete Data (2005) (4)Plan for a Computer-Based Consultant System. (1974) (3)The Stanford how things work project (1994) (3)Integration of Heterogeneous Knowledge Sources in the CALO Query Manager (2005) Towards Checking Hybrid Proofs (3)An Interactive Management Support System for Planning, Control, and Analysis (1975) Research in advanced formal theorem-proving techniques. [design and implementation of computer languages] (1973) (2)A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base (2010) A Representation System User Interface for Knowledge Base Designers (1982) Automatic Planning From a Frames Point of View (1975) What is hard about representing biology textbook knowledge (2011) Minutes of the Fourth Annual Meeting of the American Association for Artificial Intelligence (1984) Application of Ontology-Based Knowledge Representation to Design Reuse (1997) (1)Knowledge Representation and Reasoning - A History of DARPA Leadership (2020) Explaining Results from Information Retrieval and Integration (2005) (1)The role of representation in artificial intelligence(Tutorial Session) (1976) Designing a Query Language for the Semantic Web (2003) (1)Research in advanced formal theorem-proving techniques (1973) (1)SIGART(Tutorial Session) (1976) Reports on the AAAI Fall Symposia (November 1999 and November 1998) (2000) Automatic synthesis—programs and plans (1976) First world computer chess championship (1974) Chess (1974) Fourth U.S. computer chess championship (1974) Bibliography External Interfaces Working Group Arpa Knowledge Sharing Effort. Kqml Overview. Working Paper, 1992. External Interfaces Working Group Arpa Knowledge Sharing Effort. Specification of the Kqml Agent-communication Language. Working Paper, December 1992. Force Module Selection Force Planne (1980) (0)Views of office data (1982) Approved . for Public Release; Form Approved Annual Technical Report Artificial Intelligence-research and Applications Submitted By (1971) (0)SIGART(Tutorial Session) (1976) RABBIT : An Xntelligent Database Assistant (1999) (0)Towards Checking Hybrid Proofs on the Web (0)Operator procedure verification with a rapidly reconfigurable simulator (1994) (0)Extracting Assumptions from Missing Data (2004) (0)EXPERT SYSTEMS INTERVIEW (1986) A Declarative Formalization of Knowledge Translation 1 Sa (2002) (0)Semantically Sound Inheritance (1987) (0)SPADOR: A scheduler, planner, and administrator of operations and resources (1976) AI sessions at ACM conference (1976) Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage? (1986) (0)Chess (1974) Environmental Monitoring for Situation Assessment using Mobile and Fixed Sensors (2004) (0)More Papers This paper list is powered by the following services:
Other Resources About Richard Fikes What Schools Are Affiliated With Richard Fikes? Richard Fikes is affiliated with the following schools:
