A Dynamic Programming Algorithm for Prime Implicates.

Andrew Matusiewicz

Published in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)

Keyphrases

prime implicates
prime implicants
normal form
belief change
desirable properties
modal logic
knowledge compilation
artificial intelligence
abductive reasoning
boolean functions
relational databases
belief revision
propositional logic
complexity theoretic
database design
temporal logic