Keyphrases
- situation calculus
- action theories
- logical theories
- event calculus
- initial state
- reasoning about actions
- logical language
- provably correct
- concurrent actions
- modal operators
- fluent calculus
- blocks world
- reasoning tasks
- action language
- sensing actions
- agent programming
- modal logic
- incomplete information
- universally quantified
- general purpose
- indirect effects