Four-Valued Diagnoses for Stratified Knowledge-Bases.

Ofer Arieli, Arnon Avron

Browse the full CSL paper archive.