| Code, Nr | Citation |
|---|---|
1 | http://www.uniud.it Back to Dept. of Mathematics and Computer Science Back to my Home Page Publications1998 |
2 | NIL Iliano Cervesato, Massimo Franceschet and Angelo Montanari. The Complexity of Model Checking in Modal Event Calculi with Quantifiers. ETAI98. Submitted. |
3 | etai98.ps.gz PS |
4 | NIL 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. |
5 | time98Ab.html abstract |
6 | time98.ps.gz PS |
7 | NIL 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. |
8 | kr98Ab.html abstract |
9 | kr98.ps.gz PS 1997 |
10 | NIL 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. |
11 | time97Ab.html abstract |
12 | time97.ps.gz PS |
13 | NIL 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. |
14 | iclp97Ab.html abstract |
15 | iclp97.ps.gz PS |
16 | NIL 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. |
17 | ictl97Ab.html abstract |
18 | ictl97.ps.gz PS 1996 |
19 | #TopPage Massimo Franceschet. Una Gerarchia di Calcoli Modali degli Eventi: Espressivita' e Complessita' (in Italian). Tesi di Laurea in Informatica, Universita' di Udine, Italy, 1996.
|