46 search results - page 1 / 10 » Hypothetical Reasoning from Situation Calculus to Event Calc... |
TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
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...
LOGCOM
1998
13 years 4 months ago
1998
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
AAAI
1996
13 years 5 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
IJCAI
1997
13 years 5 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...