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