IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 59
Titolo Data di pubblicazione Autore(i) File
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
Undecidability of Interval Temporal Logics with the Overlap Modality 1-gen-2009 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Metric Propositional Neighborhood Logics: expressiveness, decidability, and undecidability 1-gen-2010 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; 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
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 1-gen-2010 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification 1-gen-2011 DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G.
Interval Temporal Logics: a Journey 1-gen-2011 DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G.
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT 1-gen-2011 Bresolin, D; DELLA MONICA, Dario; Montanari, Angelo; Sciavicco, G.
Hybrid metric propositional neighborhood logics with interval length binders 1-gen-2011 Della Monica, D.; Goranko, V.; Sciavicco, G.
The dark side of Interval Temporal Logics: sharpening the undecidability border 1-gen-2011 Bresolin, D; DELLA MONICA, D; Goranko, V; Montanari, Angelo; Sciavicco, G.
Expressiveness, decidability, and undecidability of interval temporal logic 1-apr-2011 Della Monica, Dario
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.
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 1-gen-2012 DELLA MONICA, D; Montanari, Angelo; Sala, P.
Interval temporal logics over finite linear orders: The complete picture 1-gen-2012 Bresolin, D.; Della Monica, D.; Montanari, Angelo; Sala, P.; Sciavicco, G.
Metric propositional neighborhood logics on natural numbers 1-gen-2013 Bresolin, D; DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G.
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.
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.
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.
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics 1-gen-2014 Della Monica, D; Montanari, Angelo; Sciavicco, G; Tishkovsky, D.
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders 1-gen-2014 Aceto, L; Della Monica, D; Ingolfsdottir, A; Montanari, Angelo; Sciavicco, G.
The dark side of interval temporal logic: Marking the undecidability border 1-gen-2014 Bresolin, D.; Della Monica, D.; Goranko, V.; Montanari, Angelo; Sciavicco, G.
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity 1-gen-2014 Bresolin, D; Della Monica, D; Montanari, Angelo; Sala, P; Sciavicco, G.
The light side of interval temporal logic: The Bernays-Schönfinkel fragment of CDT 1-gen-2014 Bresolin, D; Della Monica, D; Montanari, A; Sciavicco, G
When are prime formulae characteristic? 1-gen-2015 L., Aceto; Della Monica, D.; I., F'Abregas; A., Ing'Olfsd'Ottir
Proving continuity of coinductive global bisimulation distances: A never ending story 1-gen-2015 Romero-Hernandez, D.; De Frutos-Escrig, D.; Della Monica, D.
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 1-gen-2015 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
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
Prompt interval temporal logic 1-gen-2016 Della Monica, Dario; Montanari, Angelo; Murano, Aniello; Sala, Pietro
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
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata 1-gen-2017 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
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
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
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS 1-gen-2018 Della Monica, D.; A., Murano
A novel automata-theoretic approach to timeline-based planning 1-gen-2018 Della Monica, D.; Gigante, N.; Montanari, A.; Sala, P.
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation 1-gen-2019 DELLA MONICA, Dario; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido
When are prime formulae characteristic? 1-gen-2019 Aceto, Luca; DELLA MONICA, Dario; Fábregas, Ignacio; Ingólfsdóttir, Anna
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.
Preface 1-gen-2020 Della Monica, D.; Murano, A.; Sauro, L.
Pairing monitoring with machine learning for smart system verification and predictive maintenance 1-gen-2020 Brunello, A.; della Monica, D.; Montanari, A.
An Approach to Fuzzy Modal Logic of Time Intervals 1-gen-2020 Conradie, Willem; DELLA MONICA, Dario; Munoz-Velasco, Emilio; Sciavicco, Guido
Time series checking with fuzzy interval temporal logics 1-gen-2020 Conradie, W.; della Monica, D.; Munoz-Velasco, E.; Sciavicco, G.; Stan, I. E.
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.
Complexity of qualitative timeline-based planning 1-gen-2020 Della Monica, D.; Gigante, N.; la Torre, S.; Montanari, A.
Learning how to monitor: Pairing monitoring and learning for online system verification 1-gen-2020 Brunello, A.; Monica, D. D.; Montanari, A.; Urgolo, A.
Pushing runtime verification to the limit: May process semantics be with Us 1-gen-2020 della Monica, D.; Francalanza, A.
A note on ultimately-periodic finite interval temporal logic model checking 1-gen-2020 Monica, D. D.; Montanari, A.; Sciavicco, G.; Stan, I. E.
Good-for-Game QPTL: An Alternating Hodges Semantics 1-gen-2021 Bellier, D.; Benerecetti, M.; Della Monica, D.; Mogavero, F.
Extended ω-Regular Languages and Interval Temporal Logic 1-gen-2021 Della Monica, D.; Montanari, A.; Sala, P.
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 1-gen-2021 Della Monica, D.; Pozzato, G. L.; Scala:, E.
Fuzzy Halpern and Shoham's interval temporal logics 1-gen-2022 Conradie, Willem; DELLA MONICA, Dario; Muñoz Velasco, Emilio; Sciavicco, Guido; Eduard Stand, Ionel
Mostrati risultati da 1 a 50 di 59
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