Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates.

Anavai Ramesh Neil V. Murray

Published in: LPAR (1993)

Keyphrases

prime implicates
prime implicants
belief change
normal form
knowledge compilation
modal logic
desirable properties
abductive reasoning
belief revision
boolean functions
propositional logic
complexity theoretic
object oriented
knowledge based systems
orders of magnitude