 | 2009 |
|---|
| 8 |       | Angelo Montanari,
Gabriele Puppis,
Pietro Sala:
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions.
CSL 2009: 394-408 |
| 7 | | Davide Bresolin,
Angelo Montanari,
Pietro Sala,
Guido Sciavicco:
A Tableau-Based System for Spatial Reasoning about Directional Relations.
TABLEAUX 2009: 123-137 |
| 6 | | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Pietro Sala:
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Electr. Notes Theor. Comput. Sci. 231: 131-151 (2009) |
| 2008 |
|---|
| 5 | | Davide Bresolin,
Angelo Montanari,
Pietro Sala,
Guido Sciavicco:
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
JELIA 2008: 62-75 |
| 4 | | Davide Bresolin,
Angelo Montanari,
Pietro Sala:
An optimal tableau for Right Propositional Neighborhood Logic over Trees.
TIME 2008: 110-117 |
| 2007 |
|---|
| 3 | | Davide Bresolin,
Angelo Montanari,
Pietro Sala:
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.
STACS 2007: 549-560 |
| 2 | | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Pietro Sala:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
TABLEAUX 2007: 73-89 |
| 2006 |
|---|
| 1 | | Valentin Goranko,
Angelo Montanari,
Pietro Sala,
Guido Sciavicco:
A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Applied Logic 4(3): 305-330 (2006) |
