Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
From MaRDI portal
Publication:2457656
DOI10.1016/j.artint.2005.04.005zbMath1132.68730OpenAlexW1981856605MaRDI QIDQ2457656
Publication date: 23 October 2007
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2005.04.005
constraint satisfactioninterval algebraincremental reasoninginterval calculusconstraint-based reasoningpoint algebrapoint calculusqualitative temporal reasoningtractable reasoning
Related Items
Implementation of the temporal reasoning mechanism in modern intelligent systems ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class ⋮ Qualitative relations between moving objects in a network changing its topological relations ⋮ Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models ⋮ Collective singleton-based consistency for qualitative constraint networks: theory and practice
Cites Work
- Maintaining knowledge about temporal intervals
- Updating \(\leqslant, <\)-chains
- Towards a general theory of action and time
- Temporally distributed symptoms in technical diagnosis
- Reasoning about qualitative temporal information
- Consistency in networks of relations
- Semidynamic algorithms for maintaining single-source shortest path trees
- A spectrum of definitions for temporal model-based diagnosis
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- On the computational complexity of dynamic graph problems
- Twenty-one large tractable subclasses of Allen's algebra
- Combining topological and size information for spatial reasoning
- A comparison of point-based approaches to qualitative temporal reasoning
- Networks of constraints: Fundamental properties and applications to picture processing
- Efficient algorithms for qualitative reasoning about time
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
- Reasoning about temporal relations
- Amortized Computational Complexity
- Incremental algorithms for minimal length paths
- Unit Refutations and Horn Sets
- Complexity and algorithms for reasoning about time
- On binary constraint problems
- Reasoning about temporal relations
- Sparsification—a technique for speeding up dynamic graph algorithms
- A Local Search Approach to Modelling and Solving Interval Algebra Problems
- Improved decremental algorithms for maintaining transitive closure and all-pairs shortest paths
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item