A Conditional Logic for Iterated Belief Revision.
Laura GiordanoValentina GliozziNicola OlivettiPublished in: ECAI (2000)
Keyphrases
- belief revision
- conditional logic
- iterated belief revision
- default reasoning
- belief change
- nonmonotonic reasoning
- higher order logic
- propositional logic
- defeasible reasoning
- nonmonotonic inference
- belief update
- knowledge base
- epistemic states
- sound and complete axiomatization
- temporal logic
- belief state
- artificial intelligence
- possibility theory
- higher order