TY  - RPRT
TI  - ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
AU  - Przemysław Andrzej Wałęga
AU  - Mehul Bhatt
AU  - Carl Schultz
PY  - 2015
UR  - https://arxiv.org/abs/1506.04929
ID  - 1506.04929
ER  -