Data Models with Multiple Temporal Dimensions: Completing the Picture
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Understanding and Simulating Narratives in the Context of Information Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Extending the event calculus for tracking epidemic spread
Artificial Intelligence in Medicine
On integrating event definition and event detection
Knowledge and Information Systems
Causal reasoning for alert generation in smart homes
Designing Smart Homes
Hi-index | 0.00 |
The need of constraining the temporal relationships among sets of related events arises in several temporal reasoning tasks, including monitoring, plan validation, planning, and diagnosis. Process constructors provide an effective way of packaging up related events into individual conceptual chunks, called macro-events. In this paper, we present a first attempt at defining a Calculus of Macro-Events that extends Kowalski and Sergot's Event Calculus with process constructors to express effects triggered by complex combinations of event occurrences. We apply this language to model the operations of a simple gas heater, and present a Prolog implementation.