Alfonso Gerevini, Bernhard Nebel  Home/Search
Context Related
| informatik.unifre...inebelecai02.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.unifr...publikationen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: There exist a number of qualitative constraint calculi that are used to represent and reason about temporal or spatial configurations. However, there are only very few approaches aiming to create a spatio-temporal constraint calculus. Similar to Bennett et al., we start with the spatial calculus RCC-8 and Allen's interval calculus in order to construct a qualitative spatio-temporal calculus. As we will show, the basic calculus is NP-complete, even if we only permit base relations. When adding... (Update)
Context of citations to this paper: More
...D jects. This might be useful, if the objects in a 3D scene are not convex. A spatio temporal calculus called TeRCC 8 is investigated in [4]. The approach given in this paper focuses on a subset shown in figure 2 (a better definition for it will be given in section 3) of the...
.... f ) we collapse X and Y , and we proceed by considering changes only between either X and Z or Y and Z (further details are given in [5]) We call such transition chains from # i to #f one step transition chains. The longest transition chains that are generated by the program...
Cited by: More
Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's.. - Gerevini, Nebel (2002) (Correct)
The Occlusion Calculus - Köhler (Correct)
Active bibliography (related documents): More All
0.3: Qualitative Spatial Representation and Reasoning: An Overview - Cohn, Hazarika (2001) (Correct)
0.3: Qualitative Spatio-Temporal Representation and Reasoning.. - Wolter, Zakharyaschev (2001) (Correct)
0.2: Combining Topological and Size Information for Spatial Reasoning - Gerevini, Renz (2000) (Correct)
Similar documents based on text: More All
0.4: Combining Topological and Qualitative Size Constraints for.. - Gerevini, Renz (1998) (Correct)
0.3: On the Complexity of Qualitative Spatial Reasoning: A Maximal.. - Renz, Nebel (1997) (Correct)
0.3: On the Complexity of Qualitative Spatial Reasoning: A Maximal.. - Renz, Nebel (1997) (Correct)
Related documents from co-citation: More All
2: A spatial logic based on regions and connection - Randell, Cui et al. - 1992
2: On binary constraint problems - Ladkin, Maddux - 1994
2: Maintaining knowledge about temporal intervals (context) - Allen - 1983
BibTeX entry: (Update)
A. Gerevini and B. Nebel. Qualitative spatio-temporal reasoning with RCC-8 and Allen's interval calculus: Computational complexity. In Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'02), June 2002. forthcoming. http://citeseer.ist.psu.edu/gerevini02qualitative.html More
@misc{ gerevini02qualitative,
author = "A. Gerevini and B. Nebel",
title = "Qualitative spatio-temporal reasoning with RCC-8 and Allen's interval calculus:
Computational complexity",
text = "A. Gerevini and B. Nebel. Qualitative spatio-temporal reasoning with RCC-8
and Allen's interval calculus: Computational complexity. In Proceedings
of the 15th European Conference on Artificial Intelligence (ECAI'02), June
2002. forthcoming.",
year = "2002",
url = "citeseer.ist.psu.edu/gerevini02qualitative.html" }
Citations (may not include all citations):1180 The temporal logic of reactive and concurrent systems (context) - Manna, Pnueli - 1992
1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
307 Networks of constraints: fundamental properties and applicat.. (context) - Montanari - 1974
284 Constraint propagation algorithms for temporal reasoning: A .. (context) - Vilain, Kautz et al. - 1990
225 A spatial logic based on regions and connection - Randell, Cui et al. - 1992
111 Reasoning about temporal relations: A maximal tractable subc.. - Nebel, urckert - 1995
64 the complexity of qualitative spatial reasoning: A maximal t.. - Renz, Nebel - 1999
63 On binary constraint problems - Ladkin, Maddux - 1994
53 Modal logics for qualitative spatial reasoning - Bennett - 1996
34 Effective solution of qualitative interval constraint proble.. (context) - Ladkin, Reinefeld - 1992
22 Spatio-temporal representation and reasoning based on RCC - Wolter, Zakharyaschev - 2000
20 A qualitative theory of motion based on spatio-temporal prim.. - Muller - 1998
13 Maximal tractable fragments of the Region Connection Calculu.. - Renz - 1999
11 Reasoning about cardinal directions (context) - Ligozat - 1998
11 A model for reasoning about bidimensional temporal relations - Balbiani, Condotta et al. - 1998
5 Multidimensional modal logic as a framework for spatio-tempo.. - Bennett, Cohn et al. - 2002
2 Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's.. - Gerevini, Nebel - 2002
1 Classification of complexity in Allen's algebra in the prese.. (context) - Krokhin, Jeavons et al. - 2001
1 Combining topological and size infornation for spatial reaso.. (context) - Gerevini, Renz - 2002
Documents on the same site (http://www.informatik.uni-freiburg.de/~ki/publikationen.html): More
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating.. - Nebel (1997) (Correct)
A Cognitive Assessment of Topological Spatial Relations.. - Knauff, Rauh, Renz (1997) (Correct)
An Experimental Comparison of Localization Methods - Gutmann, Burgard, Fox, Konolige (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC