Guido Sciavicco

2008
17	EE	Ian Hodkinson, Angelo Montanari, Guido Sciavicco: Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. CSL 2008: 308-322
16	EE	Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75
15	EE	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR 2008: 590-604
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

Coauthor Index

1	Davide Bresolin	[9] [12] [15] [16]
2	Massimo Franceschet	[3] [7]
3	Valentin Goranko	[2] [4] [5] [6] [12] [15]
4	Ian Hodkinson	[17]
5	Dario Della Monica	[15]
6	Angelo Montanari	[1] [2] [3] [4] [5] [6] [7] [9] [12] [15] [16] [17]
7	Antonio Morales	[8] [10] [13] [14]
8	Isabel Navarrete	[10] [13] [14]
9	Adriano Peron	[3] [7]
10	Suman Roy	[11]
11	Pietro Sala	[6] [16]
12	Nicola Vitacolonna	[1]

Colors in the list of coauthors