Reasoning About Time in the Situation Calculus.
Javier PintoRaymond ReiterPublished in: Ann. Math. Artif. Intell. (1995)
Keyphrases
- situation calculus
- concurrent actions
- modal operators
- action theories
- event calculus
- reasoning tasks
- reasoning about actions
- fluent calculus
- initial state
- modal logic
- logical language
- blocks world
- provably correct
- sensing actions
- universally quantified
- action language
- indirect effects
- partial order
- logical theories
- search algorithm