Prime Implicates and Reduced Implicate Tries.

Neil V. Murray Erik Rosenthal

Published in: ISMIS (2009)

Keyphrases

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