Publications of Przemyslaw Walega
2015
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories, in: LPNMR: Logic Programming and Nonmonotonic Reasoning - 13th International Conference, Lexington, KY, USA September 27-30, 2015., 2015 | , and ,
[URL] |