ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.
Przemyslaw Andrzej WalegaMehul BhattCarl P. L. SchultzPublished 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