Login / Signup
Mauro Milella
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Rule Mining
Modal Logic
Prime Implicates
Positive And Negative Association Rules
Top Venues
ICTCS
OVERLAY@AI*IA
</>
Publications
</>
Ionel Eduard Stan
,
Guido Sciavicco
,
Emilio Muñoz-Velasco
,
Giovanni Pagliarini
,
Mauro Milella
,
Andrea Paradiso
On Modal Logic Association Rule Mining.
ICTCS
(2022)
Mauro Milella
,
Giovanni Pagliarini
,
Andrea Paradiso
,
Ionel Eduard Stan
Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction.
OVERLAY@AI*IA
(2022)