On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract).

Adnan Darwiche, Pierre Marquis

Browse the full IJCAI paper archive.