Consistency-based and abductive diagnoses as generalised stable models
generalized stable model semantics of abduction
scientific article; zbMATH DE number 937288
scientific article