Batens, D.; Meheus, J.; Provijn, D.; Verhoeven, L. Some Adaptive Logics for Diagnosis. LLP 2003, 39-65.