A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems

Wolfgang Nejdl, Peter Fröhlich, Michael Schroeder. A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems. In IJCAI. pages 1721-1727, 1995.

Abstract

Abstract is missing.