Non-monotonic spatial reasoning with answer set programming modulo theories

From MaRDI portal
Publication:4593084

DOI10.1017/S1471068416000193zbMath1379.68303arXiv1606.07860OpenAlexW2963556801WikidataQ62623612 ScholiaQ62623612MaRDI QIDQ4593084

Carl R. Schultz, Przemysław Andrzej Wałęga, Mehul Bhatt

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.07860




Related Items (3)


Uses Software


Cites Work




This page was built for publication: Non-monotonic spatial reasoning with answer set programming modulo theories