On the Role of Canonicity in Knowledge Compilation.

Guy Van den Broeck Adnan Darwiche

Published in: AAAI (2015)

Keyphrases

knowledge compilation
product configuration
prime implicates
normal form
decision support
model counting
logical inference
quantified boolean formulae
horn formulas
databases
information retrieval
constraint satisfaction
belief change
binary decision diagrams