Keyphrases
- action theories
- default theories
- situation calculus
- default logic
- default reasoning
- initial state
- incomplete information
- deterministic finite state automata
- action language
- minimal change
- reasoning about actions
- model theoretic
- logic programming
- action descriptions
- highly expressive
- nonmonotonic reasoning
- answer set programming
- fixed point
- deductive databases
- belief revision
- bayesian networks
- kripke models