Prime implicates and relevant belief revision.

Frederik Van De Putte

Published in: J. Log. Comput. (2013)

Keyphrases

belief change
prime implicates
belief revision
prime implicants
propositional logic
default reasoning
belief update
minimal change
nonmonotonic reasoning
belief base
knowledge base
logical properties
possibilistic logic
probability theory
belief merging
plausible inference
databases
temporal logic
belief set