A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

George Baryannis, Ilias Tachmazidis, Sotiris Batsakis +4

Spatial information is often expressed using qualitative terms such as natural language expressions instead of coordinates; reasoning over such terms has several practical applicat…