A survey on computing prime implicants and implicates in classical and non-classical logics.

Manoj K. Raut Arindama Singh

Published in: Comput. Syst. Sci. Eng. (2014)

Keyphrases

prime implicates
prime implicants
normal form
belief change
modal logic
desirable properties
knowledge compilation
abductive reasoning
boolean functions
classical logic
functional dependencies
belief revision
automated reasoning