An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning.

Julien Hué Matthias Westphal Stefan Wölfl

Published in: ICTAI (2012)

Keyphrases

decomposition method
qualitative spatial and temporal reasoning
decomposition methods
decomposition algorithm
tree decomposition
constraint networks
answer set programming
objective function
knowledge representation