[C19] Chittaro L., Montanari A., Peressi E., "An Integrated Framework for Temporal Aggregation and Omission in the Event Calculus". In G.Rzevski, C. Tasso (Eds.), Applications of Artificial Intelligence in Engineering X, Computational Mechanics, Boston, USA, July 1995, pp. 47-54.

[C18] Montanari A., de Rijke M., "Completeness Results for Two-sorted Metric Temporal Logics". Proceedings of AMAST'95: 4th International Conference on Algebraic Methodology and Software Technology, Montreal, Canada, LNCS, Springer Verlag, July 1995, pp. 385-399.

[C17] Cervesato I., Chittaro L., Montanari A., "A Modal Calculus of Partially Ordered Events in a Logic Programming Framework". Proceedings of ICLP'95: 12th International Conference on Logic Programming, L. Sterling (Ed.), Kanegawa, Japan, MIT Press, June 1995, pp. 299-313 (abstract in Mathematical Reviews 96k:03040).

[C16] D'Agostino G., Montanari A., Policriti A., "A set-theoretic translation method for (poly)modal logics". Proceedings of STACS'95: 12th Symposium on Theoretical Aspects of Computer Science, M√ľnchen, Germany, LNCS 900, Springer Verlag, March 1995, pp. 217-228 (abstract in Mathematical Reviews 96j:03023).

[J6] D'Agostino G., Montanari A., Policriti A.,  A set-theoretic translation method for polymodal logics.         Journal of Automated Reasoning, vol. 15, no. 3, 1995, pp. 317-337 (a summary appeared in mathematical Reviews 96j:03024).

[W12] Chittaro L., Montanari A., Cervesato I., "Speeding up temporal reasoning by exploiting the notion of kernel of an ordering relation". Proceedings of TIME'95: 2nd International Workshop on Temporal Representation and Reasoning, S.D. Goodwin and H.J. Hamilton (Eds.), Melbourne, FL, USA, University of Regina, April 1995, pp.73-80.

[CS4] D'Agostino G., Montanari A., Policriti A., "A set-theoretic analysis of modal deduction". Proceedings of 10th International Congress of Logic, Methodology and Philosophy of Science, Firenze, Italia, August 1995, p. 128.

[CS1] D'Agostino G., Montanari A., Policriti A., "Translating modal formulae as set-theoretic terms". Proceedings of LOGIC COLLOQUIUM '94, Clermont-Ferrand, France, luglio 1994, p.39 (also in Bulletin of Symbolic Logic, Vol.1, n.2, June 1995, pp.230-231).