Moving Spaces

Moving Spaces

Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed contact structures. We study their canonical models using topological spaces. As the main contribution we prove a genera...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Düntsch, Ivo, Winter, Michael
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Boolean algebra
Computer science
Councils
Geometry
Shape
Temporal Spatial Reasoning
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed contact structures. We study their canonical models using topological spaces. As the main contribution we prove a general representation theorem for this kind of algebras.
ISSN:1530-1311
2332-6468
DOI:10.1109/TIME.2008.9