Pages that link to "Item:Q1285670"

The following pages link to On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus (Q1285670):

Displaying 20 items.

• Querying incomplete information in RDF with SPARQL (Q286403) (← links)
• A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800) (← links)
• Reasoning about cardinal directions between extended objects: the NP-hardness result (Q420805) (← links)
• Reasoning about visibility (Q420853) (← links)
• On standard models of fuzzy region connection calculus (Q433513) (← links)
• A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems (Q441879) (← links)
• Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces (Q464617) (← links)
• Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
• The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
• Generalized region connection calculus (Q814636) (← links)
• Spatial reasoning in a fuzzy region connection calculus (Q835806) (← links)
• On topological consistency and realization (Q850454) (← links)
• A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
• On redundant topological constraints (Q891795) (← links)
• Reasoning about cardinal directions between extended objects (Q991028) (← links)
• Maximal infinite-valued constraint languages (Q1014639) (← links)
• EXPtime tableaux for ALC (Q1589576) (← links)
• Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
• Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
• Computational Short Cuts in Infinite Domain Constraint Satisfaction (Q5870497) (← links)