Della Monica, Dario

2 publications

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 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