274 search results - page 15 / 55 » Variants of the Event Calculus |
AI
2004
Springer
13 years 8 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
KR
2004
Springer
14 years 2 months ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
CONCUR
1999
Springer
14 years 27 days ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
JAR
2007
13 years 8 months ago
2007
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...