( 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 Jenisch

Richard Moritz

Richard Hauser

Richard Kern

 

Other publications of authors with the same name

A Network-Based Knowledge Representation and Its Natural Deduction System., and . IJCAI, page 235-246. William Kaufmann, (1977)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)Including Domain-Specific Reasoners with Reusable Ontologies., , and . IKE, page 262-268. CSREA Press, (2003)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)Towards Checking Hybrid Proofs., , , , and . KSL-05-01. Stanford University, USA, (2005)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)