The PMA and Relativizing Minimal Change for Action Update.
Patrick DohertyWitold LukaszewiczEwa Madalinska-BugajPublished in: Fundam. Informaticae (2000)
Keyphrases
- minimal change
- action theories
- reasoning about actions
- belief revision
- situation calculus
- update operations
- belief change
- belief update
- logic program updates
- initial state
- incomplete information
- propositional knowledge base
- model theoretic
- logic programming
- ctl model update
- default reasoning
- propositional logic
- data model
- database
- temporal logic
- query processing
- xml documents