| 2011 |
|---|
| 19 | An Optimal Decision Procedure for MPNL over the Integers. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. GandALF 2011, 192-206. Web SearchBibTeXDownload |
| 18 | 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 |
| 17 | A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. Carlo Combi, Angelo Montanari, Pietro Sala. SSTD 2011, 404-421. Web SearchBibTeXDownload |
| 16 | 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 |
| 15 | Temporal Functional Dependencies Based on Interval Relations. Carlo Combi, Pietro Sala. TIME 2011, 23-30. Web SearchBibTeXDownload |
| 2010 |
|---|
| 14 | Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. Angelo Montanari, Gabriele Puppis, Pietro Sala. ICALP (2) 2010, 345-356. Web SearchBibTeXDownload |
| 13 | Tableaux for Logics of Subinterval Structures over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. J. Log. Comput. (20): 133-166 (2010). Web SearchBibTeXDownload |
| 12 | 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 |
| 11 | Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala. TIME 2010, 27-34. Web SearchBibTeXDownload |
| 10 | 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 |
|---|
| 9 | 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 |
| 8 | A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. Angelo Montanari, Gabriele Puppis, Pietro Sala. CSL 2009, 394-408. Web SearchBibTeXDownload |
| 7 | Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. Electr. Notes Theor. Comput. Sci. (231): 131-151 (2009). Web SearchBibTeXDownload |
| 6 | A Tableau-Based System for Spatial Reasoning about Directional Relations. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. TABLEAUX 2009, 123-137. Web SearchBibTeXDownload |
| 2008 |
|---|
| 5 | Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. JELIA 2008, 62-75. Web SearchBibTeXDownload |
| 4 | An optimal tableau for Right Propositional Neighborhood Logic over Trees. Davide Bresolin, Angelo Montanari, Pietro Sala. TIME 2008, 110-117. Web SearchBibTeXDownload |
| 2007 |
|---|
| 3 | An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari, Pietro Sala. STACS 2007, 549-560. Web SearchBibTeXDownload |
| 2 | Tableau Systems for Logics of Subinterval Structures over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. TABLEAUX 2007, 73-89. Web SearchBibTeXDownload |
| 2006 |
|---|
| 1 | 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 |
