Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.

Przemyslaw Andrzej Walega Carl P. L. Schultz Mehul Bhatt

Published in: CoRR (2016)

Keyphrases

spatial reasoning
modulo theories
answer set programming
logic programs
logic programming

stable model semantics
answer sets
spatial relations
constraint logic programming
reasoning tasks

satisfiability modulo theories
temporal reasoning
stable models
qualitative spatial reasoning
knowledge representation

formal theory
fixpoint
orders of magnitude
machine learning