Pages that link to "Item:Q2321249"
From MaRDI portal
The following pages link to On coarser interval temporal logics (Q2321249):
Displaying 12 items.
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning (Q821556) (← links)
- Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals (Q3374097) (← links)
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (Q3540187) (← links)
- (Q4904145) (← links)
- Interval Temporal Logic Semantics of Box Algebra (Q5404934) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- Dynamic Branching in Qualitative Constraint Networks via Counting Local Models (Q6060100) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
- Neural-symbolic temporal decision trees for multivariate time series classification (Q6647752) (← links)
- Decision tree learning with spatial modal logics (Q6649530) (← links)