Non-monotonic spatial reasoning with answer set programming modulo theories.
Przemyslaw Andrzej WalegaCarl P. L. SchultzMehul BhattPublished in: Theory Pract. Log. Program. (2017)
Keyphrases
- spatial reasoning
- modulo theories
- answer set programming
- logic programming
- stable model semantics
- spatial relations
- logic programs
- answer sets
- temporal reasoning
- satisfiability modulo theories
- constraint logic programming
- reasoning tasks
- formal theory
- knowledge base
- heuristic search
- spatial information
- stable models
- orders of magnitude
- general purpose