Implementation of a Tableau-based Satisfiability Checker for HS3. - Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (ICTCS/CILC, 2017)

Towards Interval Temporal Logic Rule-Based Classification. - Estrella Lucena-Sánchez; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan; Alessandro Vaccari 002 (OVERLAY@AI*IA, 2019)

Towards a General Method for Logical Rule Extraction from Time Series. - Guido Sciavicco; Ionel Eduard Stan; Alessandro Vaccari 002 (IWINAC (2), 2019)

Interval Temporal Logic Decision Tree Learning. - Andrea Brunello; Guido Sciavicco; Ionel Eduard Stan (JELIA, 2019)

On coarser interval temporal logics. - Emilio Muñoz-Velasco; Mercedes Pelegrín-García; Pietro Sala; Guido Sciavicco; Ionel Eduard Stan (Artif. Intell., 2019)

Time Series Checking with Fuzzy Interval Temporal Logics. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (ICTCS, 2020)

Symbolic Learning with Interval Temporal Logic: the Case of Regression. - Estrella Lucena-Sánchez; Guido Sciavicco; Ionel Eduard Stan (OVERLAY, 2020)

A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. - Dario Della Monica; Angelo Montanari; Guido Sciavicco; Ionel Eduard Stan (OVERLAY, 2020)

Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling. - Joanna Kaminska; Estrella Lucena-Sánchez; Guido Sciavicco; Ionel Eduard Stan (RuleML+RR (Supplement), 2020)

Knowledge Extraction with Interval Temporal Logic Decision Trees. - Guido Sciavicco; Ionel Eduard Stan (TIME, 2020)

Multi-Frame Modal Symbolic Learning. - Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (OVERLAY@GandALF, 2021)

Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. - Federico Manzella; Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (TIME, 2021)

Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling. - Estrella Lucena-Sánchez; Guido Sciavicco; Ionel Eduard Stan (Algorithms, 2021)

Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction. - Mauro Milella; Giovanni Pagliarini; Andrea Paradiso; Ionel Eduard Stan (OVERLAY@AI*IA, 2022)

Decision Trees with a Modal Flavor. - Dario Della Monica; Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (AI*IA, 2022)

On Modal Logic Association Rule Mining. - Ionel Eduard Stan; Guido Sciavicco; Emilio Muñoz-Velasco; Giovanni Pagliarini; Mauro Milella; Andrea Paradiso (ICTCS, 2022)

Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. - Giovanni Pagliarini; Simone Scaboro; Giuseppe Serra 001; Guido Sciavicco; Ionel Eduard Stan (TIME, 2022)

Efficient Modal Decision Trees. - Federico Manzella; Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (AI*IA, 2023)

A Post-Modern Approach to Automatic Metaphor Identification. - Dario Del Fante; Federico Manzella; Guido Sciavicco; Ionel Eduard Stan (CLiC-it, 2023)

Evolutionary Explainable Rule Extraction from (Modal) Random Forests. - Michele Ghiotti; Federico Manzella; Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (ECAI, 2023)

(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data. - Patrik Cavina; Federico Manzella; Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (itaDATA, 2023)

Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. - Giovanni Pagliarini; Andrea Paradiso; Sasha Rubin; Guido Sciavicco; Ionel Eduard Stan (OVERLAY@AI*IA, 2023)

A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. - Willem Conradie; Riccardo Monego; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (TIME, 2023)

The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests. - Federico Manzella; Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (Artif. Intell. Medicine, 2023)

Fuzzy Halpern and Shoham's interval temporal logics. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (Fuzzy Sets Syst., 2023)

On Modal Logic Formulae Minimization. - Giovanni Pagliarini; Andrea Paradiso; Guido Sciavicco; Ionel Eduard Stan (CILC, 2024)

ModalFP-Growth: Efficient Extraction of Modal Association Rules from Non-Tabular Data. - Mauro Milella; Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (ICTCS, 2024)

Towards Modern Rule-Based Learning. - Giovanni Pagliarini; Edoardo Ponsanesi; Guido Sciavicco; Ionel Eduard Stan (OVERLAY, 2024)

Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation. - Guillermo Badia; Carles Noguera; Alberto Paparella; Guido Sciavicco; Ionel Eduard Stan (TIME, 2024)

Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic. - Pietro Bellodi; Pietro Casavecchia; Alberto Paparella; Guido Sciavicco; Ionel Eduard Stan (TIME, 2025)

Temporal Association Rules from Motifs (Short Paper). - Mauro Milella; Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (TIME, 2025)

Symbolic Audio Classification via Modal Decision Tree Learning. - Enrico Marzano; Giovanni Pagliarini; Riccardo Pasini; Guido Sciavicco; Ionel Eduard Stan (CoRR, 2025)