Pages that link to "Richard Fikes"
From Tetherless World Wiki
(List of links)
> Richard FikesThe following pages link to Richard Fikes:
View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)- A proof markup language for Semantic Web services (← links)
- Deborah L. McGuinness (← links)
- James A. Hendler (← links)
- Ian Horrocks (← links)
- IEEE Intelligent Systems: DAML+OIL: An Ontology Language for the Semantic Web (← links)
- OWL-QL - a language for deductive query answering on the Semantic Web (← links)
- Contexts for the Semantic Web (← links)
- Paulo Pinheiro da Silva (← links)
- Timothy W. Finin (← links)
- Honglei Zeng (← links)
- Peter F. Patel-Schneider (← links)
- Ramanathan V. Guha (← links)
- Patrick J. Hayes (← links)
- Design and Implementation of the CALO Query Manager (← links)
- KRYPTON: Integrating Terminology and Assertion (← links)
- AI and Software Engineering - Managing Exploratory Programming (← links)
- On Supporting the Use of Procedures in Office Work (← links)
- Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage? (← links)
- Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults (← links)
- RABBIT: An Intelligent Database Assistant (← links)
- CFRL: A Language for Specifying the Causal Functionality of Engineered Devices (← links)
- Deductive Retrieval Mechanisms for State Description Models (← links)
- A Network-Based Knowledge Representation and Its Natural Deduction System (← links)
- STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving (← links)
- A Web-Based Compositional Modeling System for Sharing of Physical Knowledge (← links)
- Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases (← links)
- James A. Hendler/Publication (← links)
- Deborah L. McGuinness/Publication (← links)
- The DARPA Knowledge Sharing Effort: A Progress Report (← links)
- Computing trust from revision history (← links)
