Author of the publication

Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class

. European Conference on Artificial Intelligence, page 38--42. (1996)

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

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)The FF Planning System: Fast Plan Generation Through Heuristic Search., and . J. Artif. Intell. Res., (2001)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)Acquisition and validation of complex object database schemata supporting multiple inheritance., and . Appl. Intell., 4 (2): 185-203 (1994)Behavior-based multi-robot collision avoidance., , and . ICRA, page 1668-1673. IEEE, (2014)On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs.. CoRR, (2019)Belief Revision and Default Reasoning: Syntax-Based Approaches.. KR, page 417-428. Morgan Kaufmann, (1991)