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

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

Przemysław Andrzej Wałęga, Mehul Bhatt, Carl Schultz

Year
2015
Citations
25

Keywords

ModuloMonotonic functionComputer scienceAnswer set programmingSet (abstract data type)Spatial intelligenceTheoretical computer scienceProgramming languageAlgorithmAlgebra over a field

Related papers

Browse all OTHER papers