Iterated Belief Revision and Conditional Logic.
Laura GiordanoValentina GliozziNicola OlivettiPublished in: Stud Logica (2002)
Keyphrases
- belief revision
- conditional logic
- iterated belief revision
- default reasoning
- belief change
- nonmonotonic reasoning
- propositional logic
- defeasible reasoning
- higher order logic
- knowledge base
- belief update
- nonmonotonic inference
- sound and complete axiomatization
- epistemic states
- belief state
- temporal logic
- machine learning