Pages that link to "Item:Q477203"

The following pages link to Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203):

Displaying 22 items.

• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
• Reactive synthesis from interval temporal logic specifications (Q2062122) (← links)
• Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
• Expressiveness and completeness of an interval tense logic (Q2277246) (← links)
• On coarser interval temporal logics (Q2321249) (← links)
• Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
• Bounded variability of metric temporal logic (Q2408743) (← links)
• Dyck algebras, interval temporal logic, and posets of intervals (Q2827488) (← links)
• On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
• Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)
• (Q4580322) (← links)
• Extracting interval temporal logic rules: a first approach (Q5079773) (← links)
• A New Modal Approach to the Logic of Intervals (Q5432670) (← links)
• A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
• Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
• An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)
• Unary and two-variable interval logics (Q6601763) (← links)
• Neural-symbolic temporal decision trees for multivariate time series classification (Q6647752) (← links)
• Adding the relation \textit{Meets} to the temporal logic of prefixes and infixes makes it EXPSPACE-complete (Q6649523) (← links)
• Decision tree learning with spatial modal logics (Q6649530) (← links)