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)

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

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)

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

Minimal Rules from Decision Forests: A Systematic Approach. - Giovanni Pagliarini; Andrea Paradiso; Marco Perrotta; Guido Sciavicco (OVERLAY, 2024)