| No. |
Title |
Author |
Year |
| 1 |
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic |
Conradie, Willem et al. |
2023 |
| 2 |
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification |
Pagliarini, Giovanni et al. |
2022 |
| 3 |
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis |
Manzella, Federico et al. |
2021 |
| 4 |
Knowledge Extraction with Interval Temporal Logic Decision Trees |
Sciavicco, Guido et al. |
2020 |
| 5 |
Mining Significant Temporal Networks Is Polynomial |
Sciavicco, Guido et al. |
2020 |
| 6 |
The Horn Fragment of Branching Algebra |
Bertagnon, Alessandro et al. |
2020 |
| 7 |
Front Matter, Table of Contents, Preface, Conference Organization |
Gamper, Johann et al. |
2019 |
| 8 |
LIPIcs, Volume 147, TIME'19, Complete Volume |
Gamper, Johann et al. |
2019 |
| 9 |
Deciding the Consistency of Branching Time Interval Networks |
Gavanelli, Marco et al. |
2018 |
| 10 |
Extracting Interval Temporal Logic Rules: A First Approach |
Bresolin, Davide et al. |
2018 |
| 11 |
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking |
Della Monica, Dario et al. |
2017 |
| 12 |
Fast(er) Reasoning in Interval Temporal Logic |
Bresolin, Davide et al. |
2017 |
| 13 |
Decidability of the Interval Temporal Logic ABB over the Natural Numbers |
Montanari, Angelo et al. |
2010 |
