On Modal Logic Association Rule Mining IE Stan, G Sciavicco, E Muñoz-Velasco, G Pagliarini, M Milella, ... ICTCS, 2022 | 2 | 2022 |
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. G Pagliarini, A Paradiso, S Rubin, G Sciavicco, IE Stan OVERLAY@ AI* IA, 49-53, 2023 | 1 | 2023 |
On Modal Logic Formulae Minimization G Pagliarini, A Paradiso, G Sciavicco, IE Stan | | 2024 |
Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction. M Milella, G Pagliarini, A Paradiso, IE Stan OVERLAY@ AI* IA, 81-85, 2022 | | 2022 |