Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Maintaining knowledge about temporal intervals
Communications of the ACM
Space, time, matter and things
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Spatial Cognition and Computation
IEEE Transactions on Knowledge and Data Engineering
Qualitative Spatial Representation and Reasoning Techniques
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reasoning about Gradual Changes of Topological Relationships
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
A generalized topological view of motion in discrete space
Theoretical Computer Science - Topology in computer science
Continuous Shape Transformation and Metrics on Regions
Fundamenta Informaticae - Qualitative Spatial Reasoning
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Qualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control
Journal of Intelligent and Robotic Systems
Transition constraints: a study on the computational complexity of qualitative change
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can change their position, shape, and size over time. In this paper we investigate how calculi discussed in the field of qualitative spatial reasoning (QSR) can be temporalized in order to gain reasoning formalisms that can be used to express spatial configurations and their dynamics. In a first step, we briefly discuss temporalized spatial constraint languages. In particular, we investigate how the notion of continuous change can be expressed in such languages and how continuous change is represented in the so-called conceptual neighborhood graph of the spatial calculus at hand. In a second step, we focus on a special reasoning problem, which occurs quite naturally in the context of temporalized spatial calculi: Given an initial spatial scenario of some physical objects, which scenarios are accessible if the set of all possible paths of these objects is constrained by some further conditions? We show that for many spatial calculi this general problem cannot be dealt with by using the information encoded in the classical neighborhood graphs, as usually discussed in the literature. Rather, we introduce a generalized concept of neighborhood graph, which allows for reasoning about objects in such dynamic settings.