[BC5] Euzenat, J., Montanari A.,"Time Granularity". In M. Fisher, D. Gabbay, and L. Vila (Eds.), Handbook of Temporal Reasoning in Artificial Intelligence, Elsevier B.V., 2005, pp. 59-118.


[C48] Montanari A., Policriti A., Vitacolonna N., "An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures". Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), LNAI 3835, Springer, Montego Bay, Jamaica, December 2005, pp.139-153.


[C47] De Maria E., Montanari A., Zantoni M., "Checking workflow schemas with time constraints using timed automata (extended abstract)". Proceedings of OTM Workshops 2005, LNCS 3762, Springer, Agia Napa, Cyprus, November 2005, pp. 1-2.


[C46] Bresolin D., Montanari A., "A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic". Proceedings of the International Conference TABLEAUX 2005, Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 3702, Springer, Koblenz, Germany, September 2005, pp. 63-77.


[C45] Montanari A., "Propositional Interval Temporal Logics: Some Promising Paths". Proceedings of TIME 2005: 12th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Burlington, Vermont, USA, June 2005, pp. 201-203 (Presentation).


[C44] Combi C., Montanari A., Rossato R., "A Uniform Algebraic Characterization of Temporal Functional Dependencies". Proceedings of TIME 2005: 12th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Burlington, Vermont, USA, June 2005, pp. 91-99.


[W26] Bresolin D., Montanari A., "A tableau-based decision procedure for a branching-time interval temporal logic". Proceedings of M4M 4: 4th International Workshop on Methods for Modalities, H. Schlingloff (Ed.), December 2005, pp. 38-53.


[CS8] Montanari A., Sciavicco G., "A Decidability Proof for Propositional Neighborhood Logic (Extended Abstract)". Proceedings of the International Conference on Trends in Logic III, Warsaw and Ruciane-Nida, Poland, September 2005.