Tri-Based Set Operations and Selective Computation of Prime Implicates.

Andrew Matusiewicz Neil V. Murray Erik Rosenthal

Published in: ISMIS (2011)

Keyphrases

prime implicates
prime implicants
normal form
belief change
knowledge compilation
modal logic
database
desirable properties
machine learning
artificial intelligence
search space
information extraction
boolean functions