( en | de | ru )

 

Disambiguation of "Fikes, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
A proof markup language for semantic web services

, , and . Inf. Syst., 31 (4): 381--395 (2006)
DOI: http://dx.doi.org/10.1016/j.is.2005.02.003

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)

Richard Suchenwirth

Richard Kliffmüller

Richard Kurth

Richard Sommer

 

Other publications of authors with the same name

Krypton: A Functional Approach to Knowledge Representation., , and . Computer, 16 (10): 67-73 (1983)A Network-Based Knowledge Representation and Its Natural Deduction System., and . IJCAI, page 235-246. William Kaufmann, (1977)SIGART(Tutorial Session)., , and . ACM Annual Conference, page 69. ACM, (1976)Including Domain-Specific Reasoners with Reusable Ontologies., , and . IKE, page 262-268. CSREA Press, (2003)Towards Checking Hybrid Proofs., , , , and . KSL-05-01. Stanford University, USA, (2005)The DARPA Knowledge Sharing Effort: A Progress Report., , , , , , and . KR, page 777-788. Morgan Kaufmann, (1992)DAML-ONT: An Ontology Language for the Semantic Web, , , and . Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential, The MIT Press, Cambridge, Massachusetts, (February 2003)Automatic synthesis - programs and plans., , and . ACM Annual Conference, page 74-75. ACM, (1976)Integration of Heterogeneous Knowledge Sources in the CALO Query Manager., , , , , , , and . OTM Workshops, volume 3762 of Lecture Notes in Computer Science, page 30-32. Springer, (2005)On Supporting the Use of Procedures in Office Work., and . AAAI, page 202-207. AAAI Press/MIT Press, (1980)