| 2011 |
|---|
| 27 | An Optimal Decision Procedure for MPNL over the Integers. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. GandALF 2011, 192-206. Web SearchBibTeXDownload |
| 26 | 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 |
| 25 | What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. LICS 2011, 387-396. Web SearchBibTeXDownload |
| 24 | Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. TABLEAUX 2011, 73-87. Web SearchBibTeXDownload |
| 23 | 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 |
| 22 | 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 |
|---|
| 21 | 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 |
| 20 | 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 |
| 19 | Decidability of the Interval Temporal Logic ABB over the Natural Numbers. Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco. STACS 2010, 597-608. Web SearchBibTeXDownload |
| 18 | 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 |
|---|
| 17 | Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Ann. Pure Appl. Logic (161): 289-304 (2009). Web SearchBibTeXDownload |
| 16 | Decidability of the interval temporal logic ABBar over the natural numbers. Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco. CoRR (abs/0912.3429) (2009). Web SearchBibTeXDownload |
| 15 | Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. SEFM 2009, 240-249. Web SearchBibTeXDownload |
| 14 | A Tableau-Based System for Spatial Reasoning about Directional Relations. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. TABLEAUX 2009, 123-137. Web SearchBibTeXDownload |
| 13 | 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 |
|---|
| 12 | Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. Ian Hodkinson, Angelo Montanari, Guido Sciavicco. CSL 2008, 308-322. Web SearchBibTeXDownload |
| 11 | Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. JELIA 2008, 62-75. Web SearchBibTeXDownload |
| 10 | 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 |
| 2007 |
|---|
| 9 | An Optimal Decision Procedure for Right Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari, Guido Sciavicco. J. Autom. Reasoning (38): 173-199 (2007). Web SearchBibTeXDownload |
| 8 | On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. LFCS 2007, 84-99. Web SearchBibTeXDownload |
| 2006 |
|---|
| 7 | Definability and decidability of binary predicates for time granularity. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco. J. Applied Logic (4): 168-191 (2006). Web SearchBibTeXDownload |
| 6 | A general tableau method for propositional interval temporal logics: Theory and implementation. Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco. J. Applied Logic (4): 305-330 (2006). Web SearchBibTeXDownload |
| 2004 |
|---|
| 5 | A Road Map of Interval Temporal Logics and Duration Calculi. Valentin Goranko, Angelo Montanari, Guido Sciavicco. Journal of Applied Non-Classical Logics (14): 9-54 (2004). Web SearchBibTeX |
| 2003 |
|---|
| 4 | Propositional Interval Neighborhood Temporal Logics. Valentin Goranko, Angelo Montanari, Guido Sciavicco. J. UCS (9): 1137-1167 (2003). Web SearchBibTeXDownload |
| 3 | A General Tableau Method for Propositional Interval Temporal Logics. Valentin Goranko, Angelo Montanari, Guido Sciavicco. TABLEAUX 2003, 102-116. Web SearchBibTeXDownload |
| 2 | Definability and decidability of binary predicates for time granularity. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco. TIME 2003, 192-202. Web SearchBibTeXDownload |
| 2002 |
|---|
| 1 | Decidability of Interval Temporal Logics over Split-Frames via Granularity. Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna. JELIA 2002, 259-270. Web SearchBibTeXDownload |
