Pages that link to "Item:Q4369856"
From MaRDI portal
The following pages link to Reasoning about temporal relations (Q4369856):
Displaying 50 items.
- Optimization in temporal qualitative constraint networks (Q262133) (← links)
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra (Q354605) (← links)
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800) (← links)
- Reasoning about cardinal directions between extended objects: the NP-hardness result (Q420805) (← links)
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems (Q441879) (← links)
- Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure (Q543614) (← links)
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class (Q679419) (← links)
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Composing cardinal direction relations (Q814537) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
- Complexity classification in qualitative temporal constraint reasoning (Q814637) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Orders on intervals over partially ordered sets: extending Allen's algebra and interval graph results. (Q889876) (← links)
- On redundant topological constraints (Q891795) (← links)
- The complexity of equality constraint languages (Q929295) (← links)
- Reasoning about cardinal directions between extended objects (Q991028) (← links)
- Maximal infinite-valued constraint languages (Q1014639) (← links)
- Determining the consistency of partial tree descriptions (Q1028903) (← links)
- ``Corner'' relations in Allen's algebra (Q1273465) (← links)
- A unifying approach to temporal constraint reasoning (Q1274294) (← links)
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations (Q1277697) (← links)
- Computational complexity of relating time points with intervals (Q1292318) (← links)
- On point-based temporal disjointness (Q1342229) (← links)
- Processing disjunctions in temporal constraint networks (Q1402717) (← links)
- Twenty-one large tractable subclasses of Allen's algebra (Q1402726) (← links)
- Reasoning about causality between distributed nonatomic events (Q1402743) (← links)
- Backtracking algorithms for disjunctions of temporal constraints (Q1575430) (← links)
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras (Q1583517) (← links)
- Querying temporal and spatial constraint networks in PTIME (Q1589478) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Solving multi-granularity temporal constraint networks (Q1614864) (← links)
- Disjunctions, independence, refinements (Q1614865) (← links)
- Queries on ontologies with temporal dependences on Allen's extended interval logic (Q1743197) (← links)
- Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- On-line algorithms for networks of temporal constraints (Q1827276) (← links)
- Efficient algorithms for qualitative reasoning about time (Q1855212) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Range-consistent forbidden regions of Allen's relations (Q2011570) (← links)
- Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
- Branching interval algebra: an almost complete picture (Q2051838) (← links)
- Integer programming ensemble of temporal relations classifiers (Q2218417) (← links)
- Temporal reasoning about fuzzy intervals (Q2389652) (← links)
- Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
- The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning (Q2457614) (← links)
- RCC8 binary constraint network can be consistently extended (Q2457645) (← links)
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class (Q2457656) (← links)
- On the consistency of cardinal direction constraints (Q2457686) (← links)