Qualitative constraint satisfaction problems: an extended framework with landmarks

DOI10.1016/J.ARTINT.2013.05.006MaRDI QIDQ490417zbMATH OpenOpenAlexWikidataFDO

Authors Sanjiang Li, Weiming Liu, Shengsheng Wang

Publication date 27 August 2015

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2013.05.006

zbMATH Keywords

constraint satisfactionlandmarksqualitative calculiqualitative spatial and temporal reasoning

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 6519660
• Constants and finite unary relations in qualitative constraint reasoning
• Finite unary relations and qualitative constraint satisfaction
• Decomposition and tractability in qualitative spatial and temporal reasoning
• On the consistency of cardinal direction constraints

Cites work

• scientific article; zbMATH DE number 6519660 (Why is no real title available?)
• A canonical model of the region connection calculus
• A finite relation algebra with undecidable network satisfaction problem
• Classifying the Complexity of Constraints Using Finite Algebras
• Closure properties of constraints
• Combining topological and size information for spatial reasoning
• Complexity of conservative constraint satisfaction problems
• Computational geometry. Algorithms and applications.
• Equivalence constraint satisfaction problems
• Graph theory
• Handbook of Spatial Logics
• Maintaining knowledge about temporal intervals
• Modelling and solving temporal reasoning as propositional satisfiability
• Networks of constraints: Fundamental properties and applications to picture processing
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• On topological consistency and realization
• Point algebras for temporal reasoning: Algorithms and complexity
• Qualitative reasoning with directional relations
• RCC8 binary constraint network can be consistently extended
• Reasoning about cardinal directions between extended objects
• Reasoning about cardinal directions between extended objects: the NP-hardness result
• Reasoning about qualitative temporal information
• Reasoning about temporal relations
• Reasoning with topological and directional spatial information
• The LAMA planner: guiding cost-based anytime planning with landmarks
• The logic of constraint satisfaction

Cited in

(10)

• Learning qualitative constraint networks
• Decomposition and tractability in qualitative spatial and temporal reasoning
• Querying incomplete information in RDF with SPARQL
• Constants and finite unary relations in qualitative constraint reasoning
• Finite unary relations and qualitative constraint satisfaction
• A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
• On redundant topological constraints
• scientific article; zbMATH DE number 6519660 (Why is no real title available?)
• On tree-preserving constraints
• Qualitative spatial reasoning in a logical framework

This page was built for publication: Qualitative constraint satisfaction problems: an extended framework with landmarks

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