Izmirlioglu, Y.; Erdem, E. Qualitative Reasoning About Cardinal Directions Using Answer Set Programming. AAAI 2018, 32.