Segui
Dario Della Monica
Dario Della Monica
Email verificata su uniud.it - Home page
Titolo
Citata da
Citata da
Anno
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
International Conference on Logic for Programming Artificial Intelligence …, 2008
702008
Interval temporal logics: a journey
D Della Monica, V Goranko, A Montanari, G Sciavicco
Bulletin of the EATCS, 73-99, 2011
622011
A foundation for runtime monitoring
A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ...
International Conference on Runtime Verification, 8-29, 2017
602017
A Foundation for Runtime Monitoring
DP Attard, I Cassar, D Della Monica, A Ingólfsdóttir
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017
60*2017
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
Theoretical Computer Science 560, 269-291, 2014
412014
The dark side of interval temporal logic: marking the undecidability border
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Annals of Mathematics and Artificial Intelligence 71 (1-3), 41-83, 2014
392014
On a Logic for Coalitional Games with Priced-Resource Agents
D Della Monica, M Napoli, M Parente
Electronic Notes in Theoretical Computer Science 278, 215-228, 2011
372011
Metric propositional neighborhood logics on natural numbers
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Software & Systems Modeling 12 (2), 245-264, 2013
352013
Metric propositional neighborhood logics on natural numbers
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Software & Systems Modeling 12 (2), 245-264, 2013
352013
Metric propositional neighborhood logics on natural numbers
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Software & Systems Modeling 12 (2), 245-264, 2013
352013
The Light Side of Interval Temporal Logic: the Bernays-Schönfinkel fragment of CDT
GS D. Bresolin, D. Della Monica, A. Montanari
Annals of Mathematics and Artificial Intelligence (AMAI) 71 (1-3), 11-39, 2014
31*2014
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT
D Bresolin, DD Monica, A Montanari, G Sciavicco
Temporal Representation and Reasoning (TIME), 2011 Eighteenth International …, 2011
312011
Expressiveness of the interval logics of Allen's relations on the class of all linear orders: complete classification
D Della Monica, V Goranko, A Montanari, G Sciavicco
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
302011
Metric propositional neighborhood logics: Expressiveness, decidability, and undecidability
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Proc. of the 19th European Conference on Artificial Intelligence (ECAI), 695-700, 2010
302010
Interval temporal logics over finite linear orders: the complete picture
D Bresolin, DD Monica, A Montanari, P Sala, G Sciavicco
Proceedings of the 20th European Conference on Artificial Intelligence, 199-204, 2012
282012
The dark side of interval temporal logic: Sharpening the undecidability border
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
2011 Eighteenth International Symposium on Temporal Representation and …, 2011
282011
Interval temporal logics over strongly discrete linear orders: the complete picture
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
arXiv preprint arXiv:1210.2479, 2012
172012
A decidable spatial generalization of Metric Interval Temporal Logic
D Bresolin, P Sala, D Della Monica, A Montanari, G Sciavicco
Temporal Representation and Reasoning (TIME), 2010 17th International …, 2010
162010
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
L Aceto, D Della Monica, V Goranko, A Ingólfsdóttir, A Montanari, ...
Acta Informatica 53 (3), 207-246, 2016
152016
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
L Aceto, D Della Monica, V Goranko, A Ingólfsdóttir, A Montanari, ...
Acta Informatica 53 (3), 207-246, 2016
152016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20