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

A Situation-Calculus Semantics for an Expressive Fragment of PDDL., , and . AAAI, page 956-961. AAAI Press, (2007)Platas - Integrating Planning and the Action Language Golog., , , and . KI, 26 (1): 61-67 (2012)Reasoning about Conditional Beliefs for the Winograd Schema Challenge., , and . COMMONSENSE, volume 2052 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Towards an Integration of Golog and Planning., , , and . IJCAI, page 1846-1851. (2007)Continual Planning in Golog., , , and . AAAI, page 3346-3353. AAAI Press, (2016)Decidable Verification of Golog Programs over Non-Local Effect Actions., and . AAAI, page 1109-1115. AAAI Press, (2016)On the Decidability of Verifying LTL Properties of Golog Programs., and . AAAI Spring Symposia, AAAI Press, (2014)Symbolic Verification of Golog Programs with First-Order BDDs.. KR, page 524-529. AAAI Press, (2018)Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs., , , and . AAAI, page 1012-1019. AAAI Press, (2014)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)