Non-monotonic spatial reasoning with answer set programming modulo theories
WAŁĘGA, PRZEMYSŁAW ANDRZEJ ; SCHULTZ, CARL ; BHATT, MEHUL
Theory and practice of logic programming, 2017-03, Vol.17 (2), p.205-225 [Periódico revisado por pares]Cambridge, UK: Cambridge University Press
Texto completo disponível