A unifying approach to temporal constraint reasoning

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)

zbMATH Keywords

complexityalgorithmsdisjunctive linear relationstemporal constraint reasoning

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items (20)

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 TernaryH_v-groups and TernaryP-hyperoperations
• Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning

This page was built for publication: A unifying approach to temporal constraint reasoning