Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. - Christopher Brenton; Wolfgang Faber 001; Sotiris Batsakis (ICLP (Technical Communications), 2016)