Model-Based Diagnosis Meets Error Diagnosis in Logic Programs.

Luca Console, Gerhard Friedrich, Daniele Theseider Dupr

Browse the full IJCAI paper archive.