Generating All Abductive Explanations for Queries on Propositional Horn Theories.

Thomas Eiter, Kazuhisa Makino

Browse the full CSL paper archive.