Decomposition and tractability in qualitative spatial and temporal reasoning

DOI10.1016/J.ARTINT.2012.09.009MaRDI QIDQ360108zbMATHOpenAlexFDO

Authors Jinbo Huang, Jason Jingshi Li, Jochen Renz

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)

Recommendations

• scientific article; zbMATH DE number 6519660
• Qualitative constraint satisfaction problems: an extended framework with landmarks
• Complexity classification in qualitative temporal constraint reasoning
• Temporal constraint networks
• Point algebras for temporal reasoning: Algorithms and complexity

Cited in

(11)

• Collective singleton-based consistency for qualitative constraint networks: theory and practice
• Dynamic branching in qualitative constraint-based reasoning via counting local models
• scientific article; zbMATH DE number 2044734 (Why is no real title available?)
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
• Solving infinite-domain CSPs using the patchwork property
• scientific article; zbMATH DE number 6747939 (Why is no real title available?)
• On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
• SAT vs. search for qualitative temporal reasoning
• Qualitative constraint satisfaction problems: an extended framework with landmarks
• Optimization in temporal qualitative constraint networks
• On redundant topological constraints

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360108)