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

Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz

Browse the full LPNMR paper archive.