Towards a general theory of action and time
Artificial Intelligence
Finite topology as applied to image analysis
Computer Vision, Graphics, and Image Processing
A critical examination of Allen's theory of action and time
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Temporal reasoning based on semi-intervals
Artificial Intelligence
A topological approach to digital topology
American Mathematical Monthly
Naive topology: modeling the force pump
Recent advances in qualitative physics
Semi-metrics, closure spaces and digital topology
Selected papers of the workshop on Topology and completion in semantics
Topological Relations between Regions in Raster
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Using Orientation Information for Qualitative Spatial Reasoning
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
Qualitative simulation based on a logical formalism of space and time
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
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 |
Dominance diagrams are an extension of the conceptual neighbourhood diagrams (CNDs) that have become familiar in the areas of qualitative spatial and temporal knowledge representation. They are also related to the envisionment diagrams of qualitative physics. This paper explains the concept of dominance between qualitative states and shows how, by adding a representation of this relation to CNDs, it is possible to reason more effectively about the temporal incidence of the qualitative states represented in the diagrams; in addition, dominance turns out to be of importance in determining the structure of composite diagrams formed as the product of existing diagrams. It is further shown that the appropriate theoretical underpinning for dominance diagrams is the mathematical theory of T0 topological spaces.