Author of the publication

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.

 

Other publications of authors with the same name

Practical reasoning about knowledge states for open world planning with sensing., and . J. Appl. Non Class. Logics, 19 (1): 7-41 (2009)Planning with POMDPs Using a Compact, Logic-Based Representation., and . ICTAI, page 523-530. IEEE Computer Society, (2005)Comparison of Three Algorithms for Ensuring Serializable Executions in Parallel Production Systems., and . AAAI, page 492-499. AAAI Press / The MIT Press, (1992)Classification in the KL-ONE Knowledge Representation System., and . IJCAI, page 330-332. William Kaufmann, (1983)Physics for Robots.. AAAI, page 44-50. Morgan Kaufmann, (1986)Rewrite Semantics for Production Rule Systems: Theory and Applications., and . CADE, volume 1104 of Lecture Notes in Computer Science, page 508-522. Springer, (1996)Guaranteeing Serializable Results in Synchronous Parallel Production Systems.. J. Parallel Distributed Comput., 13 (4): 348-365 (1991)Detecting redundancy among production rules using term rewrite semantics., and . Knowl. Based Syst., 12 (1-2): 3-11 (1999)The NIKL experience., and . Comput. Intell., (1991)An Overview of the KL-ONE Knowledge Representation System, and . Cognitive Science, 9 (2): 171--202 (April 1985)