Representing Flexible Temporal Behaviors in the Situation Calculus.
Alberto FinziFiora PirriPublished in: IJCAI (2005)
Keyphrases
- situation calculus
- action theories
- event calculus
- reasoning about actions
- concurrent actions
- fluent calculus
- initial state
- provably correct
- temporal information
- logical language
- reasoning tasks
- temporal reasoning
- temporal databases
- modal logic
- sensing actions
- agent programming
- taxonomic reasoning
- indirect effects
- temporal data