Decomposition and tractability in qualitative spatial and temporal reasoning

DOI10.1016/J.ARTINT.2012.09.009zbMATH Open1270.68270OpenAlexW2170393136MaRDI QIDQ360108FDOQ360108

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

Recommendations

• scientific article
• 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

Mathematics Subject Classification ID

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

Cited In (9)

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

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)