@inproceedings{DyllaEtAl13,
  abstract = {Qualitative spatial and temporal reasoning is based on so-called qualitative calculi.
 Algebraic properties of these calculi have several implications on reasoning algorithms.
 But what exactly is a qualitative calculus? And to which extent do the qualitative
 calculi proposed meet these demands?
 The literature provides different answers to the first question but only few facts about
 the second. 
 In this paper we identify the  minimal requirements to binary spatio-temporal calculi 
 and we discuss the relevance of the according axioms for representation and reasoning.
 We also analyze existing qualitative calculi and provide a classification involving 
 different notions of a relation algebra.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Dylla, Frank and Mossakowski, Till and Schneider, Thomas and Wolter, Diedrich},
  biburl = {https://www.bibsonomy.org/bibtex/258ccc39e90c2718ef0348354b00170b1/tillmo},
  booktitle = {Proceedings of Conference On Spatial Information Theory 2013},
  editor = {Tenbrink, Thora and Stell, John G. and Galton, Antony and Wood, Zena},
  interhash = {85e950e17ca287366da8d6f0da7cbccf},
  intrahash = {58ccc39e90c2718ef0348354b00170b1},
  keywords = {algebra algebraic closure qualitative reasoning relation spatial},
  pages = {516--536},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Algebraic Properties of Qualitative Spatio-Temporal Calculi},
  url = {http://link.springer.com/chapter/10.1007%2F978-3-319-01790-7_28},
  volume = 8116,
  year = 2013
}