Exploring the Duality in Conflict-Directed Model-Based Diagnosis R Stern, M Kalech, A Feldman, G Provan Twenty-Sixth Conference on Artificial Intelligence (AAAI'12), 2012 | 109 | 2012 |
Approximate Model-Based Diagnosis Using Greedy Stochastic Search A Feldman, G Provan, A van Gemund Journal of Artificial Intelligence Research, 371-413, 2010 | 84 | 2010 |
Computing Minimal Diagnoses by Greedy Stochastic Search A Feldman, G Provan, A van Gemund Twenty-Third National Conference on Artificial Intelligence (AAAI'08), 919-924, 2008 | 69 | 2008 |
Readiness of quantum optimization machines for industrial applications A Perdomo-Ortiz, A Feldman, A Ozaeta, SV Isakov, Z Zhu, B O’Gorman, ... Physical Review Applied 12 (1), 014004, 2019 | 67 | 2019 |
First International Diagnosis Competition--DXC’09 T Kurtoglu, S Narasimhan, S Poll, D Garcia, L Kuhn, J de Kleer, ... Twentieth International Workshop on Principles of Diagnosis (DX'09), 383-396, 2009 | 57 | 2009 |
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis A Feldman, A van Gemund Twenty-First National Conference on Artificial Intelligence (AAAI'06), 2006 | 51 | 2006 |
Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework A Feldman, T Kurtoglu, S Narasimhan, S Poll, D Garcia, J de Kleer, ... International Journal of Prognostics and Health Management 1 (2), 2010 | 49 | 2010 |
Model-Based Diagnostic Decision-Support System for Satellites A Feldman, HV de Castro, A van Gemund, G Provan Aerospace Conference, 2013 IEEE, 1-14, 2013 | 41 | 2013 |
A Model-Based Active Testing Approach to Sequential Diagnosis A Feldman, G Provan, A Van Gemund Journal of Artificial Intelligence Research 39, 301, 2010 | 39 | 2010 |
How many diagnoses do we need? R Stern, M Kalech, S Rogov, A Feldman Artificial Intelligence 248, 26-45, 2017 | 36 | 2017 |
Solving Model-Based Diagnosis Problems with MAX-SAT Solvers and Vice Versa A Feldman, G Provan, J de Kleer, S Robert, A van Gemund DX-10, International Workshop on the Principles of Diagnosis, 2010 | 35 | 2010 |
Automated Fault Diagnosis in Embedded Systems P Zoeteweij, J Pietersma, R Abreu, A Feldman, AJC Van Gemund Secure System Integration and Reliability Improvement, 2008. SSIRI'08 …, 2008 | 32 | 2008 |
Towards a Framework for Evaluating and Comparing Diagnosis Algorithms T Kurtoglu, S Narasimhan, S Poll, D Garcia, L Kuhn, J de Kleer, ... Proceedings of the 20th International Workshop on Principles of Diagnosis …, 2009 | 24 | 2009 |
All Roads Lead to Fault Diagnosis: Model-Based Reasoning with LYDIA AB Feldman, J Pietersma, AJC Van Gemund BNAIC 2006: 18th BeNeLux Conference on Artificial Intelligence, Namur …, 2006 | 23 | 2006 |
Solving Strong-Fault Diagnostic Models by Model Relaxation A Feldman, GM Provan, AJC van Gemund IJCAI, 785-790, 2009 | 21 | 2009 |
A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis A Feldman, J Pietersma, A van Gemund Proc. DX’06, 2006 | 21 | 2006 |
Second International Diagnostic Competition–DXC’10 S Poll, J de Kleer, A Feldman, D Garcia, T Kurtoglu, S Narasimhan Proceedings of the 21st International Workshop on Principles of Diagnosis, 2010 | 20 | 2010 |
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses A Feldman, GM Provan, AJC van Gemund AAAI, 919-924, 2008 | 20 | 2008 |
Third International Diagnostic Competition–DXC’11 S Poll, J de Kleer, R Abreu, M Diagle, A Feldman, D Garcia, ... | 17 | 2011 |
FRACTAL: Efficient Fault Isolation Using Active Testing A Feldman, GM Provan, AJC van Gemund IJCAI, 778-784, 2009 | 17 | 2009 |