Login / Signup
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.
Przemyslaw Andrzej Walega
Mehul Bhatt
Carl P. L. Schultz
Published in:
CoRR (2015)
Keyphrases
</>
spatial reasoning
modulo theories
answer set programming
logic programs
logic programming
spatial relations
stable model semantics
answer sets
temporal reasoning
constraint logic programming
satisfiability modulo theories
reasoning tasks
knowledge representation
knowledge base
artificial intelligence
search algorithm