Search the dblp DataBase

Publications of Author

1. Davide Bresolin, Angelo Montanari, Pietro Sala
   An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP]
   STACS, 2007, pp:549-560 [Conf]
   
2. 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]
   
3. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
   Tableau Systems for Logics of Subinterval Structures over Dense Orderings. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:73-89 [Conf]
   
4. 
   A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. [Citation Graph (, )][DBLP]
   
   
5. 
   Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. [Citation Graph (, )][DBLP]
   
   
6. 
   Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. [Citation Graph (, )][DBLP]
   
   
7. 
   Decidability of the Interval Temporal Logic ABB over the Natural Numbers. [Citation Graph (, )][DBLP]
   
   
8. 
   A Tableau-Based System for Spatial Reasoning about Directional Relations. [Citation Graph (, )][DBLP]
   
   
9. 
   An optimal tableau for Right Propositional Neighborhood Logic over Trees. [Citation Graph (, )][DBLP]
   
   
10. 
    Decidability of the interval temporal logic ABBar over the natural numbers [Citation Graph (, )][DBLP]
    
    
11. 
    Begin, After, and Later: a Maximal Decidable Interval Temporal Logic [Citation Graph (, )][DBLP]
    
    
12. 
    Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. [Citation Graph (, )][DBLP]