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]
@article{WalegaSB17,
title = {Non-monotonic spatial reasoning with answer set programming modulo theories},
author = {Przemyslaw Andrzej Walega and Carl P. L. Schultz and Mehul Bhatt},
year = {2017},
doi = {10.1017/S1471068416000193},
url = {http://dx.doi.org/10.1017/S1471068416000193},
researchr = {https://researchr.org/publication/WalegaSB17},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {17},
number = {2},
pages = {205-225},
}