| 2007 |
|---|
| 14 | EE | Antonio Morales,
Isabel Navarrete,
Guido Sciavicco:
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.
EUROCAST 2007: 313-320 |
| 13 | EE | Isabel Navarrete,
Antonio Morales,
Guido Sciavicco:
Consistency Checking of Basic Cardinal Constraints over Connected Regions.
IJCAI 2007: 495-500 |
| 12 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
LFCS 2007: 84-99 |
| 11 | EE | Suman Roy,
Guido Sciavicco:
Reasoning with 'And Then' and 'While'.
TIME 2007: 181-188 |
| 10 | EE | Antonio Morales,
Isabel Navarrete,
Guido Sciavicco:
A new modal logic for reasoning about space: spatial propositional neighborhood logic.
Ann. Math. Artif. Intell. 51(1): 1-25 (2007) |
| 9 | EE | Davide Bresolin,
Angelo Montanari,
Guido Sciavicco:
An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
J. Autom. Reasoning 38(1-3): 173-199 (2007) |
| 2006 |
|---|
| 8 | EE | Antonio Morales,
Guido Sciavicco:
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.
TIME 2006: 50-60 |
| 7 | EE | Massimo Franceschet,
Angelo Montanari,
Adriano Peron,
Guido Sciavicco:
Definability and decidability of binary predicates for time granularity.
J. Applied Logic 4(2): 168-191 (2006) |
| 6 | EE | 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) |
| 2004 |
|---|
| 5 | | Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
A Road Map of Interval Temporal Logics and Duration Calculi.
Journal of Applied Non-Classical Logics 14(1-2): 9-54 (2004) |
| 2003 |
|---|
| 4 | EE | Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
A General Tableau Method for Propositional Interval Temporal Logics.
TABLEAUX 2003: 102-116 |
| 3 | EE | Massimo Franceschet,
Angelo Montanari,
Adriano Peron,
Guido Sciavicco:
Definability and decidability of binary predicates for time granularity.
TIME 2003: 192-202 |
| 2 | EE | Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
Propositional Interval Neighborhood Temporal Logics.
J. UCS 9(9): 1137-1167 (2003) |
| 2002 |
|---|
| 1 | EE | Angelo Montanari,
Guido Sciavicco,
Nicola Vitacolonna:
Decidability of Interval Temporal Logics over Split-Frames via Granularity.
JELIA 2002: 259-270 |
