J de Kleer | TU Delft Repository

Jd

J de Kleer

Conference paper (5)

Journal article (1)

6 records found

1

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

Conference paper (2010) - A.B. Feldman (author), G. Provan (author), J de Kleer (author), Séverine Robert (author), A.J.C. van Gemund (author)

Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework

Journal article (2010) - A.B. Feldman (author), T Kurtoglu (author), S Narasimhan (author), S Poll (author), D Garcia (author), J de Kleer (author), L Kuhn (author), A.J.C. van Gemund (author)

Automated Redesign with the General Redesign Engine

Conference paper (2009) - A.B. Feldman (author), G. Provan (author), J de Kleer (author), L Kuhn (author), A.J.C. van Gemund (author)

First International Diagnosis Competition - DXC'09

Conference paper (2009) - T Kurtoglu (author), S Narasimhan (author), S Poll (author), D Garcia (author), L Kuhn (author), J de Kleer (author), A.J.C. van Gemund (author), A.B. Feldman (author)

Towards a Framework for Evaluating and Comparing Diagnosis Algorithms

Conference paper (2009) - T Kurtoglu (author), S Narasimhan (author), S Poll (author), D Garcia (author), L Kuhn (author), J de Kleer (author), A.J.C. van Gemund (author), A.B. Feldman (author)

Automated Redesign with the General Redesign Engine

Conference paper (2009) - A.B. Feldman (author), G. Provan (author), J de Kleer (author), L Kuhn (author), A.J.C. van Gemund (author)