[E4] Bettini C., Montanari A. (eds.), Spatial and Temporal Granularity - Papers from the AAAI Workshop, Technical Report WS-00-08, ISBN 1-57735-123-1, AAAI Press, July 2000, Editorial pp. vii-viii.


[C32] Franceschet M., Montanari A., de Rijke M., "Model Checking for Combined Logics". Proceedings of the 3rd International Conference on Temporal Logic, Leipzig, Germany, October 2000, pp. 65-73.


[C31] Montanari A., Peron A., Policriti A.,"Extending Kamp Theorem with Binary Operators to Model Time Granularity". Proceedings of the 3rd International Conference on Temporal Logic, Leipzig, Germany, October 2000, pp. 135-144 (preliminary version of [J22]).


[C30] Montanari A., Policriti A., Slanina M., "Derivability in Locally Quantified Modal Logics via Translation in Set Theory". Proceedings of MFCS'2000: 25th International Symposium on Mathematical Foundations of Computer Science, M. Nielsen and B. Rovan (Eds.), Bratislava, Slovak Republic, LNCS 1893, Springer, August-September 2000, pp. 559-568.


[C29] Montanari A., Policriti A., Slanina M., "Supporting Automated Deduction in First-Order Modal Logics". Proceedings of KR'2000: 7th International Conference on Principles of Knowledge Representation and Reasoning, T. Cohn, F. Giunchiglia, and B. Selman (Eds.), Breckenridge, Colorado, USA, Morgan Kaufmann, April 2000, pp. 547-556.


[C28] Franceschet M., Montanari A., "Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events". LNAI 1792, E. Lamma e P. Mello (Eds.), Springer, Berlin Heidelberg, 2000, pp. 131-142 (extended and revised version of [C27]).


[C23] Cervesato I., Franceschet M., Montanari A. "A Hierarchy of Modal Event Calculi: Expressiveness and Complexity". Proceedings of ICTL'97: 2nd International Conference on Temporal Logic, In Advances in Temporal Logic, H. Barringer, M. Fisher, D. Gabbay, and G. Gough (Eds.), Kluwer Academic Publishers, Applied Logic Series, 2000, pp. 91-108.


[C22] Montanari A., Peron A., Policriti A., "Decidable Theories of Omega-Layered Metric Temporal Structures". Proceedings of ICTL'97: 2nd International Conference on Temporal Logic. In Advances in Temporal Logic, H. Barringer, M. Fisher, D. Gabbay, and G. Gough (Eds.), Kluwer Academic Publishers, Applied Logic Series, 2000, pp. 1-20.


[J20] Franceschet M., Montanari A., "A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus". Annals of Mathematics and Artificial Intelligence, vol. 30, no. 1-4, Kluwer Academic Publishers, 2000, pp. 93-118.


[J19] Montanari A., Peron A., Policriti A., "The Taming (Timing) of the States". The Logic Journal of IGPL, vol. 8, no. 5, September 2000, pp. 681-699.


[J18] Cervesato I., Franceschet M., Montanari A.,   A Guided Tour Through some Extensions of the Event Calculus. Computational Intelligence, vol. 16, no .2, May 2000, pp. 307-347.


[J17] Chittaro L., Montanari A.,   Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches. Annals of Mathematics and Artificial Intelligence, vol. 28, no. 1-4, 2000, pp. 47-106.


[W20] Cervesato I., Montanari A., "A Calculus of Macro-Events: Progress Report". Proceedings of TIME'2000: 7th International Workshop on Temporal Representation and Reasoning, A. Trudel and S. Goodwin (Eds.), July 2000, pp. 47-58.