Decomposition and tractability in qualitative spatial and temporal reasoning.

Jinbo Huang Jason Jingshi Li Jochen Renz

Published in: Artif. Intell. (2013)

Keyphrases

qualitative spatial and temporal reasoning
constraint satisfaction problems
np complete
constraint satisfaction
constraint networks
answer set programming
tree decomposition
decomposition method
decomposition methods
high level
probabilistic reasoning
point algebra