Minimal model semantics for diagnosis -- techniques and first benchmarks
暂无分享,去创建一个
[1] Brigitte GieferRWTH AachenAhornstra. Drum: Reasoning without Connicts and Justiications , 1994 .
[2] Dan Roth,et al. Default-Reasoning with Models , 1995, IJCAI.
[3] Peter Fröhlich,et al. A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems , 1995, IJCAI.
[4] Brian C. Williams,et al. Diagnosing Multiple Faults , 1987, Artif. Intell..
[5] Marianne Winslett,et al. A model-based belief revision system , 1994, Journal of Automated Reasoning.
[6] Johan de Kleer,et al. Critical Reasoning , 1993, IJCAI.
[7] Peter Fröhlich,et al. A Model-based Reasoning Approach to Circumscription , 1996, ECAI.