Quantifying conflicts in propositional logic through prime implicates.

Saïd Jabbour Yue Ma Badran Raddaoui Lakhdar Sais

Published in: Int. J. Approx. Reason. (2017)

Keyphrases

prime implicates
propositional logic
prime implicants
belief change
quantified boolean formulae
belief revision
first order logic
normal form
modal logic
propositional satisfiability
nonmonotonic reasoning
davis putnam