Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

Open in new window