Baryannis, George ; Tachmazidis, Ilias ; Batsakis, Sotiris... Baryannis , G , Tachmazidis , I , Batsakis , S , Antoniou , G , Alviano , M , Sellis , T & Tsai , P W 2018 , ' A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming ' , Theory and Practice of Logic Programming , vol. 18 , no. 3-4 , pp. 355-371 . https://doi.org/10.1017/S147106841800011X.
,
2018