Search the dblp DataBase

Publications of Author

1. Isabel Navarrete, Antonio Morales, Guido Sciavicco
   Consistency Checking of Basic Cardinal Constraints over Connected Regions. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2007, pp:495-500 [Conf]
   
2. Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna
   Decidability of Interval Temporal Logics over Split-Frames via Granularity. [Citation Graph (0, 0)][DBLP]
   JELIA, 2002, pp:259-270 [Conf]
   
3. Valentin Goranko, Angelo Montanari, Guido Sciavicco
   A General Tableau Method for Propositional Interval Temporal Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:102-116 [Conf]
   
4. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
   Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP]
   TIME, 2003, pp:192-202 [Conf]
   
5. Antonio Morales, Guido Sciavicco
   Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP]
   TIME, 2006, pp:50-60 [Conf]
   
6. Valentin Goranko, Angelo Montanari, Guido Sciavicco
   A Road Map of Interval Temporal Logics and Duration Calculi. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:9-54 [Journal]
   
7. Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco
   A general tableau method for propositional interval temporal logics: Theory and implementation. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:3, pp:305-330 [Journal]
   
8. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
   Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:2, pp:168-191 [Journal]
   
9. Valentin Goranko, Angelo Montanari, Guido Sciavicco
   Propositional Interval Neighborhood Temporal Logics. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:9, pp:1137-1167 [Journal]
   
10. Antonio Morales, Isabel Navarrete, Guido Sciavicco
    Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:313-320 [Conf]
    
11. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
    On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:84-99 [Conf]
    
12. Suman Roy, Guido Sciavicco
    Reasoning with 'And Then' and 'While'. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:181-188 [Conf]
    
13. Davide Bresolin, Angelo Montanari, Guido Sciavicco
    An Optimal Decision Procedure for Right Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:38, n:1-3, pp:173-199 [Journal]
    
14. 
    Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. [Citation Graph (, )][DBLP]
    
    
15. 
    Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. [Citation Graph (, )][DBLP]
    
    
16. 
    Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study. [Citation Graph (, )][DBLP]
    
    
17. 
    Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. [Citation Graph (, )][DBLP]
    
    
18. 
    Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. [Citation Graph (, )][DBLP]
    
    
19. 
    Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. [Citation Graph (, )][DBLP]
    
    
20. 
    Decidability of the Interval Temporal Logic ABB over the Natural Numbers. [Citation Graph (, )][DBLP]
    
    
21. 
    A Tableau-Based System for Spatial Reasoning about Directional Relations. [Citation Graph (, )][DBLP]
    
    
22. 
    Undecidability of Interval Temporal Logics with the Overlap Modality. [Citation Graph (, )][DBLP]
    
    
23. 
    A new modal logic for reasoning about space: spatial propositional neighborhood logic. [Citation Graph (, )][DBLP]
    
    
24. 
    Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. [Citation Graph (, )][DBLP]
    
    
25. 
    Decidability of the interval temporal logic ABBar over the natural numbers [Citation Graph (, )][DBLP]
    
    
26. 
    Begin, After, and Later: a Maximal Decidable Interval Temporal Logic [Citation Graph (, )][DBLP]
    
    
27. 
    Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. [Citation Graph (, )][DBLP]