Pages that link to "Item:Q679419"

The following pages link to Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class (Q679419):

Displaying 14 items.

• Optimization in temporal qualitative constraint networks (Q262133) (← links)
• Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra (Q354605) (← links)
• On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning (Q821556) (← links)
• A complete classification of tractability in Allen's algebra relative to subsets of basic relations (Q1277697) (← links)
• Twenty-one large tractable subclasses of Allen's algebra (Q1402726) (← links)
• A new approach to cyclic ordering of 2D orientations using ternary relation algebras (Q1583517) (← links)
• Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
• Branching interval algebra: an almost complete picture (Q2051838) (← links)
• Collective singleton-based consistency for qualitative constraint networks: theory and practice (Q2334596) (← links)
• Temporal reasoning about fuzzy intervals (Q2389652) (← links)
• Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
• (Q5079779) (← links)
• (Q6060092) (← links)
• Dynamic Branching in Qualitative Constraint Networks via Counting Local Models (Q6060100) (← links)