Jd

J de Kleer

6 records found

Authored

Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa

Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework

Automated Redesign with the General Redesign Engine
Conference paper (2009) - A.B. Feldman, G. Provan, J de Kleer, L Kuhn, A.J.C. van Gemund

First International Diagnosis Competition - DXC'09

Automated Redesign with the General Redesign Engine
Conference paper (2009) - A.B. Feldman, G. Provan, J de Kleer, L Kuhn, A.J.C. van Gemund

Towards a Framework for Evaluating and Comparing Diagnosis Algorithms