Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
Type of publication: | Article |
Citation: | TPLP-2016-NSR-ASP |
Publication status: | Accepted |
Journal: | TPLP: Theory and Practice of Logic Programming. Cambridge Journals |
Year: | to appear |
URL: | http://journals.cambridge.org/... |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|