Model-Based Diagnosis Meets Error Diagnosis in Logic Programs

Luca Console, Gerhard Friedrich, Daniele Theseider Dupré. Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. In IJCAI. pages 1494-1501, 1993.

Abstract

Abstract is missing.