Keyphrases
- situation calculus
- event calculus
- action theories
- initial state
- logical language
- fluent calculus
- concurrent actions
- reasoning tasks
- reasoning about actions
- modal logic
- mental states
- blocks world
- agent programming
- taxonomic reasoning
- provably correct
- integrity constraints
- universally quantified
- intelligent agents
- state space