Has author Richard Fikes
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Richard Fikes"- A proof markup language for Semantic Web services +
- OWL-QL - a language for deductive query answering on the Semantic Web +
- Contexts for the Semantic Web +
- Design and Implementation of the CALO Query Manager +
- KRYPTON: Integrating Terminology and Assertion +
- AI and Software Engineering - Managing Exploratory Programming +
- On Supporting the Use of Procedures in Office Work +
- Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage? +
- Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults +
- RABBIT: An Intelligent Database Assistant +
- CFRL: A Language for Specifying the Causal Functionality of Engineered Devices +
- Deductive Retrieval Mechanisms for State Description Models +
- A Network-Based Knowledge Representation and Its Natural Deduction System +
- STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving +
- A Web-Based Compositional Modeling System for Sharing of Physical Knowledge +
- The DARPA Knowledge Sharing Effort: A Progress Report +
- Computing trust from revision history +
- Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases +
- IEEE Intelligent Systems: DAML+OIL: An Ontology Language for the Semantic Web +
