„Interval temporal logic“
Suchergebnisse
1.000+ Treffer
-
Modulares Beweisen temporallogischer Eigenschaften paralleler Programme
-
Temporal Association Rules from Motifs (Short Paper)
-
Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic
-
Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics.
-
Fast(er) Reasoning in Interval Temporal Logic
-
Counterfactual Explanations for MITL Violations
-
Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation
-
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
-
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
-
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic
-
A Quantitative Extension of Interval Temporal Logic over Infinite Words
-
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis
-
Knowledge Extraction with Interval Temporal Logic Decision Trees
-
On a Temporal Logic of Prefixes and Infixes
-
Interval Temporal Logic for Visibly Pushdown Systems
-
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic
-
Extending Propositional Separation Logic for Robustness Properties
-
Computational Complexity of a Core Fragment of Halpern-Shoham Logic
-
Extracting Interval Temporal Logic Rules: A First Approach
-
On Expressiveness of Halpern-Shoham Logic and its Horn Fragments