Prime Implicates Based Inconsistency Characterization.

Sad Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais

Browse the full ECAI paper archive.