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

Encoding Planning Problems in Nonmonotonic Logic Programs., , and . ECP, volume 1348 of Lecture Notes in Computer Science, page 169-181. Springer, (1997)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)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)Dynamic Decentralized Area Partitioning for Cooperating Cleaning Robots., and . ICRA, page 3577-3582. IEEE, (2002)Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.. Constraints An Int. J., 1 (3): 175-190 (1997)Closed-Loop Robot Task Planning Based on Referring Expressions., , , , , and . IROS, page 876-881. IEEE, (2018)Die Ausdruckstärke von Planungsformalismen: Eine formale Charakterisierung.. Künstliche Intell., 13 (3): 12-19 (1999)Terminological Cycles: Semantics and Computational Properties.. Principles of Semantic Networks, Morgan Kaufmann, (1991)Preface., and . AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, page 1. AAAI, (2009)