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

Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions., , , , and . AAAI Spring Symposia, AAAI Press, (2018)All You Ever Wanted to Know about Tweety (But Were Afraid to Ask).. KR, page 639-648. Morgan Kaufmann, (1992)Steps Towards a First-Order Logic of Explicit and Implicit Belief.. TARK, page 325-340. Morgan Kaufmann, (1986)Belief Revision in a Nonclassical Logic., and . KI, volume 1137 of Lecture Notes in Computer Science, page 199-211. Springer, (1996)A Computationally Attractive First-Order Logic of Belief.. JELIA, volume 478 of Lecture Notes in Computer Science, page 333-347. Springer, (1990)Situation Calculus Meets Description Logics., , and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 240-265. Springer, (2019)Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction., , and . RoboCup, volume 8992 of Lecture Notes in Computer Science, page 220-232. Springer, (2014)Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus., , and . IJCAI, page 3214-3220. AAAI Press, (2015)A Robust Speech Recognition System for Service-Robotics Applications., , and . RoboCup, volume 5399 of Lecture Notes in Computer Science, page 1-12. Springer, (2008)All They Know: A Study in Multi-Agent Autoepistemic Reasoning.. IJCAI, page 376-381. Morgan Kaufmann, (1993)