George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-wei Tsai. A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. TPLP, 18(3-4):355-371, 2018. [doi]
Abstract is missing.