Atzmueller, Martin ; Baumeister, Joachim ; Puppe, Frank: {Quality Measures and Semi-Automatic Mining of Diagnostic Rule Bases (extended version)}. 3392. In: Proc. 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004), 2005 (LNAI), S. 65--78