The following pages link to (Q4386938):
Displayed 17 items.
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800) (← links)
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure (Q543614) (← links)
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class (Q679419) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- Backtracking algorithms for disjunctions of temporal constraints (Q1575430) (← links)
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras (Q1583517) (← links)
- Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty (Q1807606) (← links)
- Implementation of the temporal reasoning mechanism in modern intelligent systems (Q1951947) (← links)
- Range-consistent forbidden regions of Allen's relations (Q2011570) (← links)
- Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
- Collective singleton-based consistency for qualitative constraint networks: theory and practice (Q2334596) (← links)
- Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
- The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning (Q2457614) (← links)
- Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure (Q3523065) (← links)
- (Q5079789) (← links)
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming (Q5140008) (← links)
- Dynamic Branching in Qualitative Constraint Networks via Counting Local Models (Q6060100) (← links)