Person | TU Delft Repository

The Lydia Approach to Combinational Model-Based Diagnosis

Conference paper - A.B. Feldman, G. Provan, A.J.C. van Gemund

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

Conference paper - A.B. Feldman, G. Provan, J de Kleer, S Robert, A.J.C. van Gemund

Towards a Framework for Evaluating and Comparing Diagnosis Algorithms

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

First International Diagnosis Competition - DXC'09

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

Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference

Conference paper - A.B. Feldman, G. Provan, A.J.C. van Gemund

Generating Manifestations of Max-Fault Min-Cardinality Diagnoses

Conference paper - A.B. Feldman, G. Provan, A.J.C. van Gemund

Approximation Algorithms for Model-Based Diagnosis

Doctoral thesis - A.B. Feldman

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

Conference paper - A.B. Feldman, G. Provan, A.J.C. van Gemund

A Model-Based Active Testing Approach to Sequential Diagnosis

Journal article - A.B. Feldman, G. Provan, A.J.C. van Gemund

A framework and algorithm for model-based active testing

Conference paper - A.B. Feldman, G. Provan, A.J.C. van Gemund

Automated Redesign with the General Redesign Engine

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

Automated Redesign with the General Redesign Engine

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

Computing minimal diagnoses by greedy stochastic search

Conference paper - A.B. Feldman, G. Provan, A.J.C. van Gemund

Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework

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

Computing observation vectors for max-fault min-cardinality diagnoses

Conference paper - A.B. Feldman, G. Provan, A.J.C. van Gemund

A framework and algorithm for model-based active testing

Conference paper - A.B. Feldman, G. Provan, A.J.C. van Gemund

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

Journal article - A.B. Feldman, G. Provan, A.J.C. van Gemund

Automated Fault Diagnosis in Embedded Systems

Conference paper - P Zoeteweij, J Pietersma, R.F. Lima Maranhao De Abreu, A.B. Feldman, A.J.C. van Gemund

Exploring the Duality in Conflict-Directed Model-Based Diagnosis

Conference paper - R Stern, M Kalech, A.B. Feldman, G. Provan

Advances in Intelligent Health Reasoning and its Application to IBDM

Conference paper - A.B. Feldman, M Caporicci, O. Gracia, A Bos

A.B. Feldman

Authored

The Lydia Approach to Combinational Model-Based Diagnosis

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

Towards a Framework for Evaluating and Comparing Diagnosis Algorithms

First International Diagnosis Competition - DXC'09

Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference

Generating Manifestations of Max-Fault Min-Cardinality Diagnoses

Approximation Algorithms for Model-Based Diagnosis

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

A Model-Based Active Testing Approach to Sequential Diagnosis

A framework and algorithm for model-based active testing

Automated Redesign with the General Redesign Engine

Automated Redesign with the General Redesign Engine

Computing minimal diagnoses by greedy stochastic search

Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework

Computing observation vectors for max-fault min-cardinality diagnoses

A framework and algorithm for model-based active testing

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

Automated Fault Diagnosis in Embedded Systems

Exploring the Duality in Conflict-Directed Model-Based Diagnosis

Advances in Intelligent Health Reasoning and its Application to IBDM