Prime Implicates Based Inconsistency Characterization.

Saïd Jabbour Yue Ma Badran Raddaoui Lakhdar Sais

Published in: ECAI (2014)

Keyphrases

prime implicates
prime implicants
belief change
normal form
desirable properties
modal logic
knowledge compilation
abductive reasoning
complexity theoretic
boolean functions
artificial intelligence
constraint satisfaction