Pages that link to "Item:Q1740653"
From MaRDI portal
The following pages link to Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653):
Displaying 7 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- 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)
- Temporal Logic of Minkowski Spacetime (Q5027245) (← links)
- An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)
- Neural-symbolic temporal decision trees for multivariate time series classification (Q6647752) (← links)
