Montanari, Angelo

7 publications

IJCAI 2024 Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno

AAAI 2023 Complexity of Safety and coSafety Fragments of Linear Temporal Logic Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari

AAAI 2020 Decidability and Complexity of Action-Based Temporal Planning over Dense Time Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala

IJCAI 2017 Bounded Timed Propositional Temporal Logic with past Captures Timeline-Based Planning with Bounded Constraints Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco

IJCAI 2016 Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds

IJCAI 2011 Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

IJCAI 1997 A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics Angelo Montanari, Alberto Policriti