Pages that link to "Item:Q1274294"
From MaRDI portal
The following pages link to A unifying approach to temporal constraint reasoning (Q1274294):
Displaying 31 items.
- Tractability in constraint satisfaction problems: a survey (Q271997) (← links)
- Computational complexity of linear constraints over the integers (Q360099) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Complexity classification in qualitative temporal constraint reasoning (Q814637) (← links)
- Spatial reasoning in a fuzzy region connection calculus (Q835806) (← links)
- Temporal constraints: A survey (Q1273462) (← links)
- Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning (Q1273464) (← links)
- Querying temporal and spatial constraint networks in PTIME (Q1589478) (← links)
- On point-duration networks for temporal reasoning (Q1614860) (← links)
- Solving multi-granularity temporal constraint networks (Q1614864) (← links)
- Tropically convex constraint satisfaction (Q1635805) (← links)
- Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- A generalized time quantifier approach to approximate reasoning (Q1885721) (← links)
- Piecewise linear valued constraint satisfaction problems with fixed number of variables (Q2056915) (← links)
- Temporal reasoning about fuzzy intervals (Q2389652) (← links)
- Exploiting temporal relations in mining hepatitis data (Q2478584) (← links)
- Trends in Temporal Reasoning: Constraints, Graphs and Posets (Q2807847) (← links)
- Satisfying constraint sets through convex envelopes (Q3429327) (← links)
- Adding clauses to poor man's logic (without increasing the complexity) (Q3647233) (← links)
- (Q4318749) (← links)
- Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
- (Q5257077) (← links)
- Max-Closed Semilinear Constraint Satisfaction (Q5740179) (← links)
- A Logic of East and West (Q5881809) (← links)
- From binary temporal relations to non-binary ones and back (Q5941132) (← links)
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning (Q5958761) (← links)
- Qualitative reasoning (Q6602219) (← links)
- Complexity classification transfer for CSPs via algebraic products (Q6621744) (← links)
