Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments.

Christopher Brenton, Wolfgang Faber, Sotiris Batsakis

Browse the full ICLP paper archive.