A formal semantics for preferences and strategies in model-based diagnosisDesign and implementation of diagnostic strategy using modal logic
