On the use and effect of graph decomposition in qualitative spatial and temporal reasoning.

Michael Sioutis Yakoub Salhi Jean-François Condotta

Published in: SAC (2015)

Keyphrases

qualitative spatial and temporal reasoning
tree decomposition
constraint networks
graph theory
constraint satisfaction problems
answer set programming
graph theoretic
decomposition method
artificial intelligence
high level
expressive power
directed acyclic graph
decomposition methods
point algebra