# publications

## phd thesis

## journal articles

## conference articles & others

- Interval Temporal Random Forests with an Application to COVID-19 Diagnosis
*In Proceedings of the 28th International Symposium on Temporal Representation and Reasoning (TIME)*, 2021 - Towards a General Method for Logical Rule Extraction from Time Series
*In Proceedings of the 8th International Work-Conference on the Interplay Between Natural and Artificial Computation (IWINAC)*, 2019 - Time Series Checking with Fuzzy Interval Temporal Logics
*In Proceedings of the 21st Italian Conference on Theoretical Computer Science (ICTCS)*, 2020 - Interval Temporal Logic Decision Tree Learning
*In Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA)*, 2019 - Towards Interval Temporal Logic Rule-Based Classification
*In Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY)*, 2019 - Knowledge Extraction with Interval Temporal Logic Decision Trees
*In Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME)*, 2020 - Multi-Frame Modal Symbolic Learning
*In Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY)*, 2021 - Symbolic Learning with Interval Temporal Logic: the Case of Regression
*In Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata (OVERLAY)*, 2020 - Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling
*In Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track (RULE+RR)*, 2020 - Decision Trees with a Modal Flavor
*In In press in the Proceedings of the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA)*, 2022 - On Modal Logic Association Rule Mining
*In Proceedings of the 23rd Italian Conference on Theoretical Computer Science (ICTCS)*, 2022 - Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification
*In Proceedings of the 29th International Symposium on Temporal Representation and Reasoning (TIME)*, 2022 - A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking
*In Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata (OVERLAY)*, 2020 - Implementation of a Tableau-based Satisfiability Checker for HS3
*In Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS) and the 32nd Italian Conference on Computational Logic (CILC)*, 2017