Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.

Neil V. Murray Erik Rosenthal

Published in: TABLEAUX (2003)

Keyphrases

decomposable negation normal form
knowledge compilation
product configuration
prime implicates
logical inference
model counting
quantified boolean formulae
functional dependencies
modal logic
automated reasoning
database
machine learning
knowledge discovery
normal form
horn formulas