Prime Implicants and Belief Update.

Laurent Perrussel Jerusa Marchi Guilherme Bittencourt

Published in: FLAIRS Conference (2009)

Keyphrases

belief update
prime implicants
prime implicates
belief change
belief revision
boolean functions
abductive reasoning
propositional logic
minimal change
automated reasoning
probability theory
formal theory
databases
normal form
theorem proving
knowledge compilation
lower bound
knowledge base
machine learning