Knowledge Compilation for Belief Change.

Maurice Pagnucco

Published in: Australian Conference on Artificial Intelligence (2006)

Keyphrases

belief change
prime implicates
knowledge compilation
belief revision
product configuration
propositional logic
belief update
probability theory
minimal change
belief set
epistemic states
object oriented