A unifying approach to temporal constraint reasoning
From MaRDI portal
Publication:1274294
DOI10.1016/S0004-3702(98)00031-9zbMath0912.68160MaRDI QIDQ1274294
Peter Jonsson, Christer Bäckström
Publication date: 12 January 1999
Published in: Artificial Intelligence (Search for Journal in Brave)
Related Items
A Logic of East and West ⋮ On point-duration networks for temporal reasoning ⋮ Solving multi-granularity temporal constraint networks ⋮ Tractability in constraint satisfaction problems: a survey ⋮ Spatial reasoning in a fuzzy region connection calculus ⋮ Tropically convex constraint satisfaction ⋮ Temporal reasoning about fuzzy intervals ⋮ Constraint Satisfaction Problems over Numeric Domains ⋮ An initial study of time complexity in infinite-domain constraint satisfaction ⋮ Constants and finite unary relations in qualitative constraint reasoning ⋮ Exploiting temporal relations in mining hepatitis data ⋮ Max-Closed Semilinear Constraint Satisfaction ⋮ From binary temporal relations to non-binary ones and back ⋮ Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning ⋮ Piecewise linear valued constraint satisfaction problems with fixed number of variables ⋮ Adding clauses to poor man's logic (without increasing the complexity) ⋮ Querying temporal and spatial constraint networks in PTIME ⋮ Satisfying constraint sets through convex envelopes ⋮ Point algebras for temporal reasoning: Algorithms and complexity ⋮ Complexity classification in qualitative temporal constraint reasoning
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- A new polynomial-time algorithm for linear programming
- Temporal constraint networks
- A canonical form for generalized linear constraints
- Reasoning about partially ordered events
- Twenty-one large tractable subclasses of Allen's algebra
- Combining qualitative and quantitative constraints in temporal reasoning
- Complexity and algorithms for reasoning about time
- Reasoning about temporal relations
- Construction of TernaryHv-groups and TernaryP-hyperoperations
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning