Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.
Przemyslaw Andrzej WalegaCarl P. L. SchultzMehul BhattPublished 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