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

1

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

2

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

3

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

4

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

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

Hybrid Metric Propositional Neighborhood Logics with Interv..:

Della Monica, Dario ; Goranko, Valentin ; Sciavicco, Guido
Electronic Notes in Theoretical Computer Science. 273 (2011) - p. 3-19 , 2011

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

13

Metric propositional neighborhood logics on natural numbers:

Bresolin, Davide ; Della Monica, Dario ; Goranko, Valentin..
Software & Systems Modeling. 12 (2011) 2 - p. 245-264 , 2011

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

14

Undecidability of the Logic of Overlap Relation over Discre..:

Bresolin, Davide ; Della Monica, Dario ; Goranko, Valentin..
Electronic Notes in Theoretical Computer Science. 262 (2010) - p. 65-81 , 2010

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

15

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

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