TY  - RPRT
TI  - A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
AU  - George Baryannis
AU  - Ilias Tachmazidis
AU  - Sotiris Batsakis
AU  - Grigoris Antoniou
AU  - Mario Alviano
AU  - Timos Sellis
AU  - Pei-Wei Tsai
PY  - 2018
DO  - 10.1017/s147106841800011x
UR  - https://arxiv.org/abs/1804.07088
ID  - 1804.07088
ER  -