ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.
Przemyslaw Andrzej WalegaMehul BhattCarl P. L. SchultzPublished in: LPNMR (2015)
Keyphrases
- modulo theories
- spatial reasoning
- answer set programming
- stable model semantics
- answer sets
- logic programming
- logic programs
- spatial relations
- satisfiability modulo theories
- reasoning tasks
- temporal reasoning
- knowledge representation
- constraint logic programming
- stable models
- spatial information
- knowledge base
- special case