Richard Fikes

According to our database1, Richard Fikes
  • authored at least 66 papers between 1970 and 2011.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2011
What is hard about representing biology textbook knowledge.
Proceedings of the 6th International Conference on Knowledge Capture (K-CAP 2011), 2011

2010
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base.
Proceedings of the Formal Ontology in Information Systems, 2010

2006
A proof markup language for Semantic Web services.
Inf. Syst., 2006

Computing trust from revision history.
Proceedings of the 2006 International Conference on Privacy, 2006

A Reusable Ontology for Fluents in OWL.
Proceedings of the Formal Ontology in Information Systems, 2006

Mining Revision History to Assess Trustworthiness of Article Fragments.
Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006

Design and Implementation of the CALO Query Manager.
Proceedings of the Proceedings, 2006

2005
Integration of Heterogeneous Knowledge Sources in the CALO Query Manager.
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Explaining Results from Information Retrieval and Integration.
Proceedings of the Explanation-Aware Computing, 2005

2004
OWL-QL - a language for deductive query answering on the Semantic Web.
J. Web Sem., 2004

Contexts for the Semantic Web.
Proceedings of the Semantic Web, 2004

2003
Including Domain-Specific Reasoners with Reusable Ontologies.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

DAML-ONT: An Ontology Language for the Semantic Web.
Proceedings of the Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar], 2003

2002
DAML+OIL: An Ontology Language for the Semantic Web.
IEEE Intelligent Systems, 2002

IEEE Intelligent Systems: DAML+OIL: An Ontology Language for the Semantic Web.
IEEE Distributed Systems Online, 2002

2000
Reports on the AAAI Fall Symposia (November 1999 and November 1998).
AI Magazine, 2000

An Environment for Merging and Testing Large Ontologies.
Proceedings of the KR 2000, 2000

The Chimaera Ontology Environment.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1998
OKBC: A Programmatic Foundation for Knowledge Base Interoperability.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
The Ontolingua Server: a tool for collaborative ontology construction.
Int. J. Hum.-Comput. Stud., 1997

Automated Model Selection for Simulation Based on Relevance Reasoning.
Artif. Intell., 1997

Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms.
Artif. Intell., 1997

A Web-Based Compositional Modeling System for Sharing of Physical Knowledge.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Tools for Assembling Modular Ontologies in Ontolingua.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
Ontologies: What Are They, and Where's The Research?
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

1995
Causal functional representation language with behavior-based semantics.
Applied Artificial Intelligence, 1995

A Declarative Formalization of Knowledge Translation.
Proceedings of the CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28, 1995

1994
The Role of Reversible Grammars in Translating Between Representation Languages.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993
PACT: An Experiment in Integrating Concurrent Engineering Systems.
IEEE Computer, 1993

STRIPS, A Retrospective.
Artif. Intell., 1993

How Things are Intended to Work: Capturing Functional Knowledge in Device Design.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

CFRL: A Language for Specifying the Causal Functionality of Engineered Devices.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
The DARPA Knowledge Sharing Effort: A Progress Report.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991
JOSIE: An Integration of Specialized Representation and Reasoning Tools.
SIGART Bulletin, 1991

Enabling Technology for Knowledge Sharing.
AI Magazine, 1991

1990
AI and Software Engineering - Managing Exploratory Programming.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, July 29, 1990

1987
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage?
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
The Role of Frame-Based Representation in Reasoning.
Commun. ACM, 1985

1984
Minutes of the Fourth Annual Meeting of the American Association for Artificial Intelligence.
AI Magazine, 1984

1983
Krypton: A Functional Approach to Knowledge Representation.
IEEE Computer, 1983

KRYPTON: Integrating Terminology and Assertion.
Proceedings of the National Conference on Artificial Intelligence. Washington, 1983

1982
A Commitment-Based Framework for Describing Informal Cooperative Work.
Cognitive Science, 1982

A Representation System User Interface for Knowledge Base Designers.
AI Magazine, 1982

RABBIT: An Intelligent Database Assistant.
Proceedings of the National Conference on Artificial Intelligence. Pittsburgh, 1982

1981
Odyssey: A Knowledge-Based Assistant.
Artif. Intell., 1981

1980
On Supporting the Use of Procedures in Office Work.
Proceedings of the 1st Annual National Conference on Artificial Intelligence. Stanford University, 1980

1977
A Network-Based Knowledge Representation and Its Natural Deduction System.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
AI sessions at ACM conference.
SIGART Newsletter, 1976

QLISP: a language for the interactive development of complex systems.
Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

Automatic synthesis - programs and plans.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SIGART(Tutorial Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

The role of representation in artificial intelligence(Tutorial Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SIGART(Tutorial Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SPADOR: A scheduler, planner, and administrator of operations and resources.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1975
Deductive Retrieval Mechanisms for State Description Models.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974
Fourth U.S. computer chess championship.
SIGART Newsletter, 1974

Chess.
SIGART Newsletter, 1974

Chess.
SIGART Newsletter, 1974

First world computer chess championship.
SIGART Newsletter, 1974

1973
Themes in automatic problem solving.
IEEE Computer, 1973

1972
Learning and Executing Generalized Robot Plans.
Artif. Intell., 1972

1971
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.
Artif. Intell., 1971

STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.
Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971

Monitored Execution of Robot Plans Producted by STRIPS.
IFIP Congress (1), 1971

1970
REF-ARF: A System for Solving Problems Stated as Procedures.
Artif. Intell., 1970


  Loading...