Sciweavers

AGP
1994
IEEE
14 years 4 months ago
What the Event Calculus actually does, and how to do it efficiently
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
TIME
1998
IEEE
14 years 4 months ago
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....
Iliano Cervesato, Massimo Franceschet, Angelo Mont...