Horn Belief Change: A Contraction Core.

Richard Booth Thomas Andreas Meyer Ivan José Varzinczak Renata Wassermann

Published in: ECAI (2010)

Keyphrases

belief change
horn logic
horn contraction
propositional logic
belief revision
belief update
agm postulates
belief set
prime implicates
np hard
probability theory
minimal change
knowledge base
bayesian networks
horn clauses
knowledge compilation