A Logic-Based, Reactive Calculus of Events
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni ยท Fundamenta Informaticae ยท 2010
Since its introduction, the Event Calculus (โฐ๐) has been recognized for being an excellent framework to reason about time and events, and it has been applied to a variety of domains. However, its formalization inside logic-based frameworks has been