EasyChair Smart Slide
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming