Keyphrases
- term rewriting
- situation calculus
- theorem prover
- theorem proving
- operational semantics
- event calculus
- action theories
- initial state
- reasoning about actions
- modal logic
- logical language
- provably correct
- rewrite systems
- knuth bendix
- agent programming
- concurrent actions
- blocks world
- sensing actions
- reasoning tasks
- fluent calculus
- taxonomic reasoning
- decision procedures
- formal semantics
- first order logic
- intelligent agents