Propositional Resolution and Prime Implicates Generation.

Nicolas Peltier

Published in: Arch. Formal Proofs (2016)

Keyphrases

prime implicates
prime implicants
normal form
belief change
desirable properties
modal logic
knowledge compilation
abductive reasoning
quantified boolean formulae
complexity theoretic
propositional logic
boolean functions
database
artificial intelligence