On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning.
Michael SioutisAnastasia PaparrizouTomi JanhunenPublished in: Inf. Comput. (2021)
Keyphrases
- qualitative spatial and temporal reasoning
- constraint networks
- constraint satisfaction problems
- answer set programming
- temporal reasoning
- constraint satisfaction
- tree decomposition
- constraint programming
- arc consistency
- non binary
- interval algebra
- path consistency
- constraint propagation
- np complete
- expressive power
- artificial intelligence
- search space
- point algebra
- search algorithm