Login / Signup
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