193 search results - page 1 / 39 » Modeling and Reasoning with Star Calculus |
AMAI
2004
Springer
13 years 9 months ago
2004
Springer
LICS
1994
IEEE
13 years 8 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
CONTEXT
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. The basic Event Calculus is extended by a Calculus of Narrative Context, to allow for reasoning about counterfactuals. Different hypothetical courses of events are disti...
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
LICS
1987
IEEE
13 years 7 months ago
1987
IEEE