( en | de | ru )

 

Disambiguation of "Fikes, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Monitored Execution of Robot Plans Producted by STRIPS.

. IFIP Congress (1), page 189-194. North-Holland, (1971)

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 Ciesielski

Richard Kliffmüller

Richard Sommer

Richard Mieth

 

Other publications of authors with the same name

Krypton: A Functional Approach to Knowledge Representation., , and . Computer, 16 (10): 67-73 (1983)SIGART(Tutorial Session)., , and . ACM Annual Conference, page 69. ACM, (1976)A Network-Based Knowledge Representation and Its Natural Deduction System., and . IJCAI, page 235-246. William Kaufmann, (1977)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)The DARPA Knowledge Sharing Effort: A Progress Report., , , , , , and . KR, page 777-788. Morgan Kaufmann, (1992)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)Towards Checking Hybrid Proofs., , , , and . KSL-05-01. Stanford University, USA, (2005)Including Domain-Specific Reasoners with Reusable Ontologies., , and . IKE, page 262-268. CSREA Press, (2003)On Supporting the Use of Procedures in Office Work., and . AAAI, page 202-207. AAAI Press/MIT Press, (1980)