Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming

Open in new window