IRIS

DELLA MONICA, Dario

DELLA MONICA, Dario  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 55 (tempo di esecuzione: 0.039 secondi).
Titolo Data di pubblicazione Autore(i) File
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 1-gen-2013 Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G.
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases 1-gen-2016 Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
A decidable spatial generalization of Metric Interval Temporal Logic 1-gen-2010 Bresolin, Davide; DELLA MONICA, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
A Foundation for Runtime Monitoring 1-gen-2017 Adrian, Francalanza; Luca, Aceto; Antonis, Achilleos; Attard, Duncan Paul; Ian, Cassar; Della Monica, Dario; Anna, Ing'Olfsd'Ottir
A note on ultimately-periodic finite interval temporal logic model checking 1-gen-2020 Monica, D. D.; Montanari, A.; Sciavicco, G.; Stan, I. E.
A novel automata-theoretic approach to timeline-based planning 1-gen-2018 Della Monica, D.; Gigante, N.; Montanari, A.; Sala, P.
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 1-gen-2013 Bresolin, D.; Della Monica, D.; Montanari, Angelo; Sciavicco, G.
Alternating ({I}n){D}ependence-{F}riendly {L}ogic 1-gen-2023 Bellier, Dylan; Benerecetti, Massimo; DELLA MONICA, Dario; Mogavero, Fabio
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 1-gen-2013 Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G.
An Approach to Fuzzy Modal Logic of Time Intervals 1-gen-2020 Conradie, Willem; DELLA MONICA, Dario; Munoz-Velasco, Emilio; Sciavicco, Guido
An interval temporal logic characterization of extended ω-regular languages 1-gen-2023 Della Monica, D.; Montanari, A.; Sala, P.
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 1-gen-2017 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 1-gen-2020 Barozzini, D.; de Frutos-Escrig, D.; Della Monica, D.; Montanari, A.; Sala, P.
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 1-gen-2017 Della Monica, Dario; Gigante, Nicola; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Complexity of qualitative timeline-based planning 1-gen-2020 Della Monica, D.; Gigante, N.; la Torre, S.; Montanari, A.
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers 1-gen-2012 Della Monica, D.; Goranko, V.; Montanari, Angelo; Sciavicco, G.
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals 1-gen-2019 Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 1-gen-2008 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Decision Trees with a Modal Flavor 1-gen-2023 Della Monica, D.; Pagliarini, G.; Sciavicco, G.; Stan, I. E.
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking 1-gen-2017 Della Monica, Dario; de Frutos-Escrig, David; Montanari, Angelo; Aniello, Murano; Guido, Sciavicco