Keyphrases
- situation calculus
- action theories
- reasoning about actions
- initial state
- concurrent actions
- event calculus
- provably correct
- sensing actions
- modal logic
- fluent calculus
- indirect effects
- reasoning tasks
- logical language
- human activities
- temporal information
- universally quantified
- incomplete information
- action language
- heuristic search
- programming language
- high level