Guido Sciavicco

	2009
19		Guido Sciavicco, José M. Juárez, Manuel Campos: Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study. IWINAC (2) 2009: 158-167
18		Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137
	2008
17		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		Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75
15		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		Antonio Morales, Isabel Navarrete, Guido Sciavicco: Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic. EUROCAST 2007: 313-320
13		Isabel Navarrete, Antonio Morales, Guido Sciavicco: Consistency Checking of Basic Cardinal Constraints over Connected Regions. IJCAI 2007: 495-500
12		Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99
11		Suman Roy, Guido Sciavicco: Reasoning with 'And Then' and 'While'. TIME 2007: 181-188
10		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		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		Antonio Morales, Guido Sciavicco: Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. TIME 2006: 50-60
7		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		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		Valentin Goranko, Angelo Montanari, Guido Sciavicco: A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003: 102-116
3		Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. TIME 2003: 192-202
2		Valentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional Interval Neighborhood Temporal Logics. J. UCS 9(9): 1137-1167 (2003)
	2002
1		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] [18]
2	Manuel Campos	[19]
3	Massimo Franceschet	[3] [7]
4	Valentin Goranko	[2] [4] [5] [6] [12] [15]
5	Ian Hodkinson	[17]
6	José M. Juárez	[19]
7	Dario Della Monica	[15]
8	Angelo Montanari	[1] [2] [3] [4] [5] [6] [7] [9] [12] [15] [16] [17] [18]
9	Antonio Morales	[8] [10] [13] [14]
10	Isabel Navarrete	[10] [13] [14]
11	Adriano Peron	[3] [7]
12	Suman Roy	[11]
13	Pietro Sala	[6] [16] [18]
14	Nicola Vitacolonna	[1]

Colors in the list of coauthors