ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories | Read Paper on Bytez