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]

Authors

Przemyslaw Andrzej Walega

This author has not been identified. Look up 'Przemyslaw Andrzej Walega' in Google

Carl P. L. Schultz

This author has not been identified. Look up 'Carl P. L. Schultz' in Google

Mehul Bhatt

This author has not been identified. Look up 'Mehul Bhatt' in Google