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)

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