Author :
Duntsch, I. ; Winter, Michael
Author_Institution :
Dept. of Comput. Sci., Brock Univ., St. Catharines, ON
Abstract :
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.
Keywords :
Boolean algebra; geometry; canonical models; contact algebras; moving spaces; space region based theory; timed contact structures; Boolean algebra; Computer science; Councils; Geometry; Shape; Temporal Spatial Reasoning;
Conference_Titel :
Temporal Representation and Reasoning, 2008. TIME '08. 15th International Symposium on
Conference_Location :
Montreal, QC
Print_ISBN :
978-0-7695-3181-6
DOI :
10.1109/TIME.2008.9
