Author of the publication

The Dynamic Logic of Policies and Contingent Planning.

, , , , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 659-674. 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

Deformable Proximity Queries and Their Application in Mobile Manipulation Planning., , , and . ISVC (1), volume 5875 of Lecture Notes in Computer Science, page 79-88. Springer, (2009)Symbolic Top-k Planning., , and . AAAI, page 9967-9974. AAAI Press, (2020)Wissensrepräsentation und -verarbeitung., and . Handbuch der Künstlichen Intelligenz, De Gruyter, (2020)Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)., , , , , and . CoRR, (2022)Encoding Planning Problems in Nonmonotonic Logic Programs., , and . ECP, volume 1348 of Lecture Notes in Computer Science, page 169-181. Springer, (1997)Formal Methods in Robotics.. JELIA, volume 3229 of Lecture Notes in Computer Science, page 4. Springer, (2004)Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study., , and . KI, volume 3238 of Lecture Notes in Computer Science, page 183-197. Springer, (2004)Terminological Knowledge Representation: A Proposal for a Terminological Logic., , , , , , , and . Description Logics, volume DFKI-D-91-13 of DFKI Documents, page 120-128. (1991)Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty.. Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 431-440. Springer, (2019)On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus., and . IJCAI (1), page 522-527. Morgan Kaufmann, (1997)