Andrea Paradiso

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Prime Implicates

Situation Calculus

Top Venues

Publications

Giovanni Pagliarini, Andrea Paradiso, Guido Sciavicco, Ionel Eduard Stan
On Modal Logic Formulae Minimization. CILC (2024)
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)