Automatic Diagnoses for Properly Stratified Knowledge-Bases.

Ofer Arieli, Arnon Avron

Browse the full ICTAI paper archive.