Belief Revision on Computation Tree Logic.
Paulo T. GuerraRenata WassermannPublished in: IJCAI (2011)
Keyphrases
- belief revision
- computation tree logic
- temporal logic
- minimal change
- propositional logic
- belief change
- default reasoning
- belief update
- nonmonotonic reasoning
- possibilistic logic
- model checking
- knowledge base
- logical properties
- belief state
- logical framework
- satisfiability problem
- modal logic
- belief merging
- epistemic logic
- possibility theory
- bounded model checking
- multi agent
- belief base