Keyphrases
- situation calculus
- event calculus
- action theories
- initial state
- reasoning tasks
- logical language
- reasoning about actions
- concurrent actions
- flow field
- provably correct
- fluent calculus
- modal logic
- blocks world
- agent programming
- indirect effects
- data model
- action language
- knowledge representation
- universally quantified