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
Current Page :
Number of result pages: 1
Number of documents: 13

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI