Sciweavers

5 search results - page 1 / 1
» Modal Event Calculi with Preconditions
Sort
View
TIME
1997
IEEE
13 years 7 months ago
Modal Event Calculi with Preconditions
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
SLP
1994
77views more  SLP 1994»
13 years 5 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
ICLP
1997
Springer
13 years 7 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
KR
1998
Springer
13 years 7 months ago
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
CI
2000
114views more  CI 2000»
13 years 3 months ago
A Guided Tour through Some Extensions of the Event Calculus
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...