Sign in
Andrea Paradiso
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Rule Mining
Modal Logic
Prime Implicates
Positive And Negative Association Rules
Top Venues
OVERLAY@AI*IA
ICTCS
</>
Publications
</>
Giovanni Pagliarini
,
Andrea Paradiso
,
Sasha Rubin
,
Guido Sciavicco
,
Ionel Eduard Stan
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas.
OVERLAY@AI*IA
(2023)
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)