Author of the publication

Encoding Planning Problems in Nonmonotonic Logic Programs.

, , and . ECP, volume 1348 of Lecture Notes in Computer Science, page 169-181. Springer, (1997)

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

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)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)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)Terminological Knowledge Representation: A Proposal for a Terminological Logic., , , , , , , and . Description Logics, volume DFKI-D-91-13 of DFKI Documents, page 120-128. (1991)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)Feature Induction of Linear-chain Conditional Random Fields - A Study based on a Simulation., and . ICAART (1), page 230-235. SciTePress, (2011)Preface., and . AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, page 1. AAAI, (2009)