Decomposition and tractability in qualitative spatial and temporal reasoning

DOI10.1016/J.ARTINT.2012.09.009zbMath1270.68270OpenAlexW2170393136MaRDI QIDQ360108

Jochen Renz, Jason Jingshi Li, Jinbo Huang

Publication date: 26 August 2013

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S000437021200121X

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (7)

On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning ⋮ On redundant topological constraints ⋮ Solving infinite-domain CSPs using the patchwork property ⋮ A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models ⋮ Collective singleton-based consistency for qualitative constraint networks: theory and practice ⋮ Optimization in temporal qualitative constraint networks

This page was built for publication: Decomposition and tractability in qualitative spatial and temporal reasoning