Pietro Sala PhD

pietro.sala@univr.it
Med
Post-Doc Researcher
Department of Computer Science
Strada le Grazie 15 - 37134 Verona, Italy
Floor 1, Room 1.80
Med

Publications

  • D. Bresolin, D. D. Monica, A. Montanari, P. Sala, and G. Sciavicco, “Interval Temporal Logics over Finite Linear Orders: the Complete Picture,” in {ECAI} 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)} System Demonstrations Track, Montpellier, France, August 27-31 , 2012, 2012, pp. 199–204 [Online]. Available at: http://dx.doi.org/10.3233/978-1-61499-098-7-199
  • D. Bresolin, P. Sala, and G. Sciavicco, “On Begins, Meets and before,” Int. J. Found. Comput. Sci., vol. 23, no. 3, pp. 559–583, 2012 [Online]. Available at: http://dx.doi.org/10.1142/S012905411240028X
  • D. D. Monica, A. Montanari, and P. Sala, “The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic,” in Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, 2012, pp. 79–102 [Online]. Available at: http://dx.doi.org/10.1007/978-3-642-29414-3_6
  • A. Montanari and P. Sala, “An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals,” in 19th International Symposium on Temporal Representation and Reasoning, {TIME} 2012, Leicester, United Kingdom, September 12-14, 2012, 2012, pp. 39–46 [Online]. Available at: http://dx.doi.org/10.1109/TIME.2012.18
  • D. Bresolin, D. D. Monica, A. Montanari, P. Sala, and G. Sciavicco, “Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture,” in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., 2012, pp. 155–168 [Online]. Available at: http://dx.doi.org/10.4204/EPTCS.96.12