E-LIB Suche - Ergebnisse für: Dario Della Monica

1

The Logic of Prefixes and Suffixes is Elementary under Homo..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Monica, Dario Della ; Montanari, Angelo ; Puppis, Gabriele. - p. 1-12 , 2023

2

Good-for-Game QPTL: An Alternating Hodges Semantics:

Bellier, Dylan ; Benerecetti, Massimo ; Monica, Dario Della.
ACM Transactions on Computational Logic. 24 (2023) 1 - p. 1-57 , 2023

Link: https://doi.org/10.1145/..

3

Alternating (In)Dependence-Friendly Logic:

Bellier, Dylan ; Benerecetti, Massimo ; Della Monica, Dario.
Annals of Pure and Applied Logic. 174 (2023) 10 - p. 103315 , 2023

Link: https://doi.org/10.1016/..

4

Decision Trees with a Modal Flavor:

, In: AIxIA 2022 – Advances in Artificial Intelligence; Lecture Notes in Computer Science,

Della Monica, Dario ; Pagliarini, Giovanni ; Sciavicco, Guido. - p. 47-59 , 2023

Link: https://doi.org/10.1007/..

5

Monitors That Learn From Failures: Pairing STL and Genetic ..:

Brunello, Andrea ; Monica, Dario Della ; Montanari, Angelo..
IEEE Access. 11 (2023) - p. 57349-57364 , 2023

Link: https://doi.org/10.1109/..

6

Fuzzy Halpern and Shoham's interval temporal logics:

Conradie, Willem ; Della Monica, Dario ; Muñoz-Velasco, Emilio..
Fuzzy Sets and Systems. 456 (2023) - p. 107-124 , 2023

Link: https://doi.org/10.1016/..

7

An interval temporal logic characterization of extended ω-r..:

Della Monica, Dario ; Montanari, Angelo ; Sala, Pietro
Theoretical Computer Science. 962 (2023) - p. 113929 , 2023

Link: https://doi.org/10.1016/..

8

Beyond ω-regular languages: ωT-regular expressions and thei..:

Barozzini, David ; de Frutos-Escrig, David ; Della Monica, Dario..
Theoretical Computer Science. 813 (2020) - p. 270-304 , 2020

Link: https://doi.org/10.1016/..

9

When are prime formulae characteristic?:

Aceto, Luca ; Della Monica, Dario ; Fábregas, Ignacio.
Theoretical Computer Science. 777 (2019) - p. 3-31 , 2019

Link: https://doi.org/10.1016/..

10

Parity-energy ATL for Qualitative and Quantitative Reasonin..:

, In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems,

Della Monica, Dario ; Murano, Aniello - p. 1441-1449 , 2018

Link: https://dl.acm.org/doi/1..

11

A complete classification of the expressiveness of interval..:

Aceto, Luca ; Della Monica, Dario ; Goranko, Valentin...
Acta Informatica. 53 (2015) 3 - p. 207-246 , 2015

Link: https://doi.org/10.1007/..

12

Interval temporal logics over strongly discrete linear orde..:

Bresolin, Davide ; Della Monica, Dario ; Montanari, Angelo..
Theoretical Computer Science. 560 (2014) - p. 269-291 , 2014

Link: https://doi.org/10.1016/..

13

The dark side of interval temporal logic: marking the undec..:

Bresolin, Davide ; Monica, Dario Della ; Goranko, Valentin..
Annals of Mathematics and Artificial Intelligence. 71 (2013) 1-3 - p. 41-83 , 2013

Link: https://doi.org/10.1007/..

14

The light side of interval temporal logic: the Bernays-Schö..:

Bresolin, Davide ; Della Monica, Dario ; Montanari, Angelo.
Annals of Mathematics and Artificial Intelligence. 71 (2013) 1-3 - p. 11-39 , 2013

Link: https://doi.org/10.1007/..

15

On a Logic for Coalitional Games with Priced-Resource Agent:

Della Monica, Dario ; Napoli, Margherita ; Parente, Mimmo
Electronic Notes in Theoretical Computer Science. 278 (2011) - p. 215-228 , 2011

Link: https://doi.org/10.1016/..