Consistency-Based and Abductive Diagnoses as Generalised Stable Models

Chris Preist, Kave Eshghi. Consistency-Based and Abductive Diagnoses as Generalised Stable Models. In FGCS. pages 514-521, 1992.

Abstract

Abstract is missing.