]> 2012-05-29T09:17:10-04:00 Richard Fikes Richard Richard Fikes 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 Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases Author Has author Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person