Non-monotonic spatial reasoning with answer set programming modulo theories

Przemyslaw Andrzej Walega, Carl P. L. Schultz, Mehul Bhatt. Non-monotonic spatial reasoning with answer set programming modulo theories. TPLP, 17(2):205-225, 2017. [doi]

Abstract

Abstract is missing.