193 search results - page 1 / 39 » Modeling and Reasoning with Star Calculus |
88
Voted
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
139
Voted
LICS
1994
IEEE
15 years 9 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...
118
Voted
CONTEXT
1999
Springer
15 years 9 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...
134
Voted
LICS
1996
IEEE
15 years 9 months ago
1996
IEEE
