Andrea Paradiso

According to our database, Andrea Paradiso authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas.

Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

2022

On Modal Logic Association Rule Mining.

Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction.

Mauro Milella, Giovanni Pagliarini, Andrea Paradiso, Ionel Eduard Stan

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022