The following pages link to (Q4533361):
Displaying 20 items.
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- Qualitative reasoning with directional relations (Q622129) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Generalized region connection calculus (Q814636) (← links)
- Spatial reasoning in a fuzzy region connection calculus (Q835806) (← links)
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus (Q1285670) (← links)
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras (Q1583517) (← links)
- Combining topological and size information for spatial reasoning (Q1605277) (← links)
- Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms (Q2238592) (← links)
- Collective singleton-based consistency for qualitative constraint networks: theory and practice (Q2334596) (← links)
- Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
- On the realisability of double-cross matrices by polylines in the plane (Q2396825) (← links)
- Extension Properties of Boolean Contact Algebras (Q2915154) (← links)
- (Q4435924) (← links)
- Deciding the consistency of branching time interval networks (Q5079779) (← links)
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments (Q5240208) (← links)
- (Q6060092) (← links)
- Dynamic Branching in Qualitative Constraint Networks via Counting Local Models (Q6060100) (← links)
- On prime scenarios in qualitative spatial and temporal reasoning (Q6614889) (← links)
