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