Pietro Sala PhD

Post-Doc Researcher
Department of Computer Science
Strada le Grazie 15 - 37134 Verona, Italy
Floor 1, Room 1.80


  • D. Bresolin, V. Goranko, A. Montanari, and P. Sala, “Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings,” Electr. Notes Theor. Comput. Sci., vol. 231, pp. 131–151, 2009 [Online]. Available at: http://dx.doi.org/10.1016/j.entcs.2009.02.033
  • A. Montanari, G. Puppis, and P. Sala, “A Decidable Spatial Logic with Cone-Shaped Cardinal Directions,” in Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, 2009, pp. 394–408 [Online]. Available at: http://dx.doi.org/10.1007/978-3-642-04027-6_29
  • D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco, “A Tableau-Based System for Spatial Reasoning about Directional Relations,” in Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10, 2009. Proceedings, 2009, pp. 123–137 [Online]. Available at: http://dx.doi.org/10.1007/978-3-642-02716-1_10