@article{atrajectorycalculusforqualitativespatial,
  title = {A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming},
  author = {George Baryannis and Ilias Tachmazidis and Sotiris Batsakis and Grigoris Antoniou and Mario Alviano and Timos Sellis and Pei-Wei Tsai},
  year = {2018},
  eprint = {1804.07088},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1804.07088v1},
}