Moving Spaces

  title={Moving Spaces},
  author={Ivo D{\"u}ntsch and Michael Winter},
  journal={2008 15th International Symposium on Temporal Representation and Reasoning},
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. 

From This Paper

Topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…