Sciweavers

274 search results - page 5 / 55
» Variants of the Event Calculus
Sort
View
TIME
1998
IEEE
13 years 11 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...
DEXA
2000
Springer
95views Database» more  DEXA 2000»
13 years 11 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
ECAI
1990
Springer
13 years 11 months ago
Representing Continuous Change in the Event Calculus
The Event Calculus of Kowalski and Sergot only deals with discrete change. This paper introduces a simplified version of the Event Calculus and extends it to deal with continuous ...
Murray Shanahan
DEBS
2009
ACM
14 years 2 months ago
Distributed agent environments in the Ambient Event Calculus
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
Stefano Bromuri, Kostas Stathis
AGP
1994
IEEE
13 years 11 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