Publications

  1998

• Iliano Cervesato, Massimo Franceschet and Angelo Montanari. The Complexity of Model Checking in Modal Event Calculi with Quantifiers. ETAI98. Submitted.

 
•  PS

• Iliano Cervesato, Massimo Franceschet and Angelo Montanari. Event Calculus with Explicit Quantifiers. Proc. of the Fifth International Workshop on Temporal Representation and Reasoning - TIME'98 (R. Morris, L. Khatib editors), pages 38--45, Daytona Beach, FL, pages 81--88. Sanibel Island, FL, May 16-17 1998. IEEE Computer Society Press.

• abstract
• PS

• Iliano Cervesato, Massimo Franceschet and Angelo Montanari. The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning --- KR'98 (A.G. Cohn, L.K. Shubert, and S.C. Shapiro editors), pages 368--379, Trento, Italy, 2-5 June 1998. Morgan Kaufmann publishers.

•  abstract
•  PS

  1997

• Iliano Cervesato, Massimo Franceschet and Angelo Montanari. Modal Event Calculi with Preconditions. Proc. of the Fourth International Workshop on Temporal Representation and Reasoning - TIME'97 (R. Morris, L. Khatib editors), pages 38--45, Daytona Beach, FL, 10-11 May 1997. IEEE Computer Society Press.

 
•  abstract
• PS

• Iliano Cervesato, Massimo Franceschet and Angelo Montanari. The Complexity of Model Checking in Modal Event Calculi (poster). Proc. of the Fourteenth International Conference on Logic Programming - ICLP'97 (L. Naish editor), page 419, Leuven, Belgium, 8-12 July 1997. MIT Press.

 
•  abstract
• PS
 
• Iliano Cervesato, Massimo Franceschet and Angelo Montanari. A Hierarchy of Modal Event Calculi: Expressiveness and Complexity. Proc. of the Second International Conference on Temporal Logic - ICTL'97 (H. Baringer, M. Fisher, D. Gabbay, and G. Gough editors), pages 1--17, Manchester, England, 14-18 July 1997. Kluwer, Applied Logic Series.

 
•  abstract
• PS

  1996

• Massimo Franceschet. Una Gerarchia di Calcoli Modali degli Eventi: Espressivita' e Complessita' (in Italian). Tesi di Laurea in Informatica, Universita' di Udine, Italy, 1996.

Back to Top of Page