ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories

Devs

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