Reasoning about temporal relations
From MaRDI portal
Recommendations
Cited in
(84)- Maximal infinite-valued constraint languages
- Determining the consistency of partial tree descriptions
- ``Corner relations in Allen's algebra
- A unifying approach to temporal constraint reasoning
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations
- Computational complexity of relating time points with intervals
- On point-based temporal disjointness
- Processing disjunctions in temporal constraint networks
- Twenty-one large tractable subclasses of Allen's algebra
- Reasoning about causality between distributed nonatomic events
- Backtracking algorithms for disjunctions of temporal constraints
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras
- Querying temporal and spatial constraint networks in PTIME
- EXPtime tableaux for ALC
- Solving multi-granularity temporal constraint networks
- Disjunctions, independence, refinements
- Queries on ontologies with temporal dependences on Allen's extended interval logic
- Constants and finite unary relations in qualitative constraint reasoning
- Relation algebras and their application in temporal and spatial reasoning
- On-line algorithms for networks of temporal constraints
- Efficient algorithms for qualitative reasoning about time
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Range-consistent forbidden regions of Allen's relations
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- Branching interval algebra: an almost complete picture
- Integer programming ensemble of temporal relations classifiers
- Temporal reasoning about fuzzy intervals
- Modelling and solving temporal reasoning as propositional satisfiability
- The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning
- RCC8 binary constraint network can be consistently extended
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
- On the consistency of cardinal direction constraints
- GNet: a generalized network model and its applications in qualitative spatial reasoning
- On the consistency problem for the \(\mathcal {INDU}\) calculus
- Optimization in temporal qualitative constraint networks
- Reasoning with topological and directional spatial information
- Non-atomic transition firing in contextual nets
- Decidability of verification of safety properties of spatial families of linear hybrid automata
- Satisfying constraint sets through convex envelopes
- Reasoning about temporal relations, the tractable subalgebras of Allen's interval algebra
- Non-dichotomies in Constraint Satisfaction Complexity
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- A Correspondence between Temporal Description Logics
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments
- Reasoning about cardinal directions between extended objects: the NP-hardness result
- scientific article; zbMATH DE number 1149445 (Why is no real title available?)
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
- Complexity studies of a temporal constraint propagation algorithm: a statistical analysis
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- scientific article; zbMATH DE number 1487981 (Why is no real title available?)
- The phase transition in random horn satisfiability and its algorithmic implications
- scientific article; zbMATH DE number 2086406 (Why is no real title available?)
- Qualitative constraint satisfaction problems: an extended framework with landmarks
- Constraint satisfaction problems over numeric domains
- Quantified Constraints in Twenty Seventeen
- Tractable combinations of temporal CSPs
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- Constraint Satisfaction Problems with Infinite Templates
- Computational Short Cuts in Infinite Domain Constraint Satisfaction
- A Road Map of Interval Temporal Logics and Duration Calculi
- A Road Map of Interval Temporal Logics and Duration Calculi
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
- scientific article; zbMATH DE number 7760475 (Why is no real title available?)
- Dynamic Branching in Qualitative Constraint Networks via Counting Local Models
- Solving infinite-domain CSPs using the patchwork property
- On the descriptive complexity of temporal constraint satisfaction problems
- Qualitative reasoning
- Complexity classification transfer for CSPs via algebraic products
- Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- Identifying tractable quantified temporal constraints within Ord-Horn
- A survey on approximability of traveling salesman problems using the TSP-T3CO definition scheme
- A reinforcement learning approach for resolving inconsistencies in qualitative constraint networks
- Smooth approximations and relational width collapses
- Point algebras for temporal reasoning: Algorithms and complexity
- Composing cardinal direction relations
- Combining interval-based temporal reasoning with general TBoxes
- The complexity of constraint satisfaction problems for small relation algebras
- Complexity classification in qualitative temporal constraint reasoning
- A tableau algorithm for description logics with concrete domains and general TBoxes
- Orders on intervals over partially ordered sets: extending Allen's algebra and interval graph results.
- On redundant topological constraints
- The complexity of equality constraint languages
- Reasoning about cardinal directions between extended objects
This page was built for publication: Reasoning about temporal relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4369856)
