[C61] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification", Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), LNCS 5330, Springer Doha, Qatar, November 2008, pp. 590-604.


[C60] Gubiani D., Montanari A., "A conceptual spatial model supporting topologically-consistent multiple representations", Proceedings of the 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS), ACM Press, Irvine, CA, USA, November 2008, pp. 57-66.


[C59] Bresolin D., Montanari A., Sala P., Sciavicco G., "Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders", Proceedings of JELIA 2008: 11th European Conference on Logics in Artificial Intelligence (JELIA), LNAI 5293, Springer, Dresden, Germany, September 2008, pp. 62-75.


[C58] Hodkinson I., Montanari A., Sciavicco G., "Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T", Proceedings of CSL 2008: 17th EACSL Annual Conference on Computer Science Logic (CSL), LNCS 5213, Springer, Bertinoro, Italy, September 2008, pp. 308-322.


[C57] Bresolin D., Montanari A., Sala P., "Optimal tableau for Right Propositional Neighborhood Logic over trees", Proceedings of TIME 2008: 15th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Montreal, Canada, June 2008, pp. 110-117.


[J34] Bresolin D., Goranko V., Montanari A., Sciavicco G., "Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions", Annals of Pure and Applied Logic, vol. 161, n. 3, 2009, pp. 289-304 (doi: 10.1016/j.apal.2009.07.003, online since July 2009).