Event Calculus with Explicit Quantifiers

Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R. Morris, L. Khatib editors), pp. 81

• Type: Conference
• Year: 1998
• Where: TIME
• Authors: Iliano Cervesato, Massimo Franceschet, Angelo Montanari
• Keywords: Automated Reasoning, IEEE Computer Society Press, Ple Temporal Formalism, Sergot's Event Calculus, TIME 1998