| Code, Nr | Citation |
|---|---|
1 | http://www.uniud.it Back to Dept. of Mathematics and Computer Science Back to my Home Page PublicationsSome Recent Papers on the Event Calculus |
2 | NIL [1] Iliano Cervesato and 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 |
3 | NIL [2] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. Modal Event Calculi with Preconditions. Proc. of the Fourth International Workshop on Temporal Representation and Reasoning - TIME'97 , pages 38--45. |
4 | NIL [3] Iliano Cervesato and 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 , pages 1--17. |
5 | NIL [4] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. Event Calculus with Explicit Quantifiers. Proc. of the Fifth International Workshop on Temporal Representation and Reasoning - TIME'98 . To appear. |
6 | NIL [5] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. Modal Event Calculus with Preconditions. Extended and revised version of [2]. Submitted to the Journal of Experimental and Theoretical Artificial Intelligence , 1998. |
7 | kr98.ps [6] Iliano Cervesato and 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 , 1988. |
8 | NIL [7] Iliano Cervesato and Massimo Franceschet and Angelo Montanari. A Hierarchy of Propositional Modal Event Calculi: Expressiveness and Complexity. Extended and revised version of [3]. Submitted to the Journal of Logic Programming , 1998. |
9 | #TopPage Back to Top of Page |