Sfoglia per Autore
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification
2008-01-01 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Undecidability of Interval Temporal Logics with the Overlap Modality
2009-01-01 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings
2010-01-01 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
A decidable spatial generalization of Metric Interval Temporal Logic
2010-01-01 Bresolin, Davide; DELLA MONICA, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Metric Propositional Neighborhood Logics: expressiveness, decidability, and undecidability
2010-01-01 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Interval Temporal Logics: a Journey
2011-01-01 DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G.
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT
2011-01-01 Bresolin, D; DELLA MONICA, Dario; Montanari, Angelo; Sciavicco, G.
The dark side of Interval Temporal Logics: sharpening the undecidability border
2011-01-01 Bresolin, D; DELLA MONICA, D; Goranko, V; Montanari, Angelo; Sciavicco, G.
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification
2011-01-01 DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G.
Hybrid metric propositional neighborhood logics with interval length binders
2011-01-01 Della Monica, D.; Goranko, V.; Sciavicco, G.
Expressiveness, decidability, and undecidability of interval temporal logic
2011-04-01 Della Monica, Dario
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
2012-01-01 DELLA MONICA, D; Montanari, Angelo; Sala, P.
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers
2012-01-01 Della Monica, D.; Goranko, V.; Montanari, Angelo; Sciavicco, G.
Interval temporal logics over finite linear orders: The complete picture
2012-01-01 Bresolin, D.; Della Monica, D.; Montanari, Angelo; Sala, P.; Sciavicco, G.
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
2013-01-01 Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G.
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation
2013-01-01 Bresolin, D.; Della Monica, D.; Montanari, Angelo; Sciavicco, G.
Metric propositional neighborhood logics on natural numbers
2013-01-01 Bresolin, D; DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G.
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders
2013-01-01 Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G.
The light side of interval temporal logic: The Bernays-Schönfinkel fragment of CDT
2014-01-01 Bresolin, D; Della Monica, D; Montanari, A; Sciavicco, G
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
2014-01-01 Aceto, L; Della Monica, D; Ingolfsdottir, A; Montanari, Angelo; Sciavicco, G.
The dark side of interval temporal logic: Marking the undecidability border
2014-01-01 Bresolin, D.; Della Monica, D.; Goranko, V.; Montanari, Angelo; Sciavicco, G.
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics
2014-01-01 Della Monica, D; Montanari, Angelo; Sciavicco, G; Tishkovsky, D.
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity
2014-01-01 Bresolin, D; Della Monica, D; Montanari, Angelo; Sala, P; Sciavicco, G.
On the complexity of fragments of the modal logic of Allen’s relations over dense structures
2015-01-01 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
When are prime formulae characteristic?
2015-01-01 L., Aceto; Della Monica, D.; I., F'Abregas; A., Ing'Olfsd'Ottir
Proving continuity of coinductive global bisimulation distances: A never ending story
2015-01-01 Romero-Hernandez, D.; De Frutos-Escrig, D.; Della Monica, D.
Prompt interval temporal logic
2016-01-01 Della Monica, Dario; Montanari, Angelo; Murano, Aniello; Sala, Pietro
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
2016-01-01 Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints
2017-01-01 Della Monica, Dario; Gigante, Nicola; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking
2017-01-01 Della Monica, Dario; de Frutos-Escrig, David; Montanari, Angelo; Aniello, Murano; Guido, Sciavicco
A Foundation for Runtime Monitoring
2017-01-01 Adrian, Francalanza; Luca, Aceto; Antonis, Achilleos; Attard, Duncan Paul; Ian, Cassar; Della Monica, Dario; Anna, Ing'Olfsd'Ottir
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata
2017-01-01 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
A novel automata-theoretic approach to timeline-based planning
2018-01-01 Della Monica, D.; Gigante, N.; Montanari, A.; Sala, P.
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS
2018-01-01 Della Monica, D.; A., Murano
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation
2019-01-01 DELLA MONICA, Dario; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
2019-01-01 Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
When are prime formulae characteristic?
2019-01-01 Aceto, Luca; DELLA MONICA, Dario; Fábregas, Ignacio; Ingólfsdóttir, Anna
Complexity of qualitative timeline-based planning
2020-01-01 Della Monica, D.; Gigante, N.; la Torre, S.; Montanari, A.
An Approach to Fuzzy Modal Logic of Time Intervals
2020-01-01 Conradie, Willem; DELLA MONICA, Dario; Munoz-Velasco, Emilio; Sciavicco, Guido
Learning how to monitor: Pairing monitoring and learning for online system verification
2020-01-01 Brunello, A.; Monica, D. D.; Montanari, A.; Urgolo, A.
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts
2020-01-01 Barozzini, D.; de Frutos-Escrig, D.; Della Monica, D.; Montanari, A.; Sala, P.
A note on ultimately-periodic finite interval temporal logic model checking
2020-01-01 Monica, D. D.; Montanari, A.; Sciavicco, G.; Stan, I. E.
Preface
2020-01-01 Della Monica, D.; Murano, A.; Sauro, L.
Pushing runtime verification to the limit: May process semantics be with Us
2020-01-01 della Monica, D.; Francalanza, A.
Pairing monitoring with machine learning for smart system verification and predictive maintenance
2020-01-01 Brunello, A.; della Monica, D.; Montanari, A.
Time series checking with fuzzy interval temporal logics
2020-01-01 Conradie, W.; della Monica, D.; Munoz-Velasco, E.; Sciavicco, G.; Stan, I. E.
Good-for-Game QPTL: An Alternating Hodges Semantics
2021-01-01 Bellier, D.; Benerecetti, M.; Della Monica, D.; Mogavero, F.
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021
2021-01-01 Della Monica, D.; Pozzato, G. L.; Scala:, E.
Extended ω-Regular Languages and Interval Temporal Logic
2021-01-01 Della Monica, D.; Montanari, A.; Sala, P.
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022
2022-01-01 DELLA MONICA, Dario; Ganty, Pierre
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile