The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge.

Alexandru Baltag Bryan Renne Sonja Smets

Published in: WoLLIC (2012)

Keyphrases

belief change
belief revision
horn logic
defeasible logic
probability theory
epistemic states
domain knowledge
minimal change
propositional logic
multi valued
deontic logic
knowledge representation
classical logic
knowledge base
logical framework
belief update
prime implicates
belief set