On Computing Prime Implicants and Prime Implicates.

Anavai Ramesh George Becker Neil V. Murray

Published in: TABLEAUX (1992)

Keyphrases

prime implicates
prime implicants
normal form
belief change
boolean functions
abductive reasoning
desirable properties
knowledge compilation
modal logic
complexity theoretic
propositional logic
automated reasoning
belief revision
user defined
functional dependencies
inference rules