Qualitative Spatial and Temporal Reasoning with Answer Set Programming.
Jason Jingshi LiPublished in: ICTAI (2012)
Keyphrases
- qualitative spatial and temporal reasoning
- answer set programming
- logic programming
- answer sets
- logic programs
- constraint logic programming
- reasoning tasks
- stable model semantics
- knowledge representation
- answer set programs
- tree decomposition
- orders of magnitude
- machine learning
- general purpose
- description logics
- constraint satisfaction problems