Dario Della Monica
Loading Google Thumbnails...
| 2011 |
|---|
| 8 | Expressiveness of the Interval Logics of Allen’s Relations on the Class of All Linear Orders: Complete Classification. Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. IJCAI 2011, 845-850. Web SearchBibTeXDownload |
| 7 | The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco. TIME 2011, 123-130. Web SearchBibTeXDownload |
| 6 | The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. TIME 2011, 131-138. Web SearchBibTeXDownload |
| 2010 |
|---|
| 5 | Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. ECAI 2010, 695-700. Web SearchBibTeXDownload |
| 4 | Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Electr. Notes Theor. Comput. Sci. (262): 65-81 (2010). Web SearchBibTeXDownload |
| 3 | A Decidable Spatial Generalization of Metric Interval Temporal Logic. Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco. TIME 2010, 95-102. Web SearchBibTeXDownload |
| 2009 |
|---|
| 2 | Undecidability of Interval Temporal Logics with the Overlap Modality. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. TIME 2009, 88-95. Web SearchBibTeXDownload |
| 2008 |
|---|
| 1 | Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. LPAR 2008, 590-604. Web SearchBibTeXDownload |
from DBLP and Google Scholar
