MEDITO: A Logic-Based Meta-diagnosis Tool. - Nuno Belard; Yannick Pencolé; Michel Combacau (ICTAI, 2011)

A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems. - Nuno Belard; Yannick Pencolé; Michel Combacau (IJCAI, 2011)