Prime Implicate Tries.

Andrew Matusiewicz Neil V. Murray Erik Rosenthal

Published in: TABLEAUX (2009)

Keyphrases

prime implicates
prime implicants
belief change
normal form
modal logic
desirable properties
knowledge compilation
abductive reasoning
belief revision
propositional logic
complexity theoretic
databases