Author of the publication

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)

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

On the Relation between Explicit and Implicit Belief.. KR, page 368-375. Morgan Kaufmann, (1991)Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics., , , and . AAAI Spring Symposium: Designing Intelligent Robots, volume SS-13-04 of AAAI Technical Report, AAAI, (2013)On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 887-892. IOS Press, (2010)Foundations of Knowledge Representation and Reasoning., and . ECAI Workshop on Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Computer Science, page 1-12. Springer, (1992)Distributed Multi-robot Localization Based on Mutual Path Detection., and . KI, volume 3698 of Lecture Notes in Computer Science, page 279-290. Springer, (2005)Extending DTGOLOG with Options., , and . IJCAI, page 1394-1395. Morgan Kaufmann, (2003)A Semantical Account of Progression in the Presence of Defaults., and . IJCAI, page 842-847. (2009)Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots., , and . ICAPS, page 498-503. AAAI Press, (2017)A Tractable Knowledge Representation Service with Full Introspection., and . TARK, page 145-159. Morgan Kaufmann, (1988)On Perfect Introspection With Quantifying-in.. TARK, page 199-213. Morgan Kaufmann, (1992)