van Gemund, Arjan J. C.

9 publications

AAAI 2011 Spectrum-Based Sequential Diagnosis Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund

JAIR 2010 A Model-Based Active Testing Approach to Sequential Diagnosis Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

JAIR 2010 Approximate Model-Based Diagnosis Using Greedy Stochastic Search Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

IJCAI 2009 A New Bayesian Approach to Multiple Intermittent Fault Diagnosis Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

IJCAI 2009 FRACTAL: Efficient Fault Isolation Using Active Testing Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

IJCAI 2009 Solving Strong-Fault Diagnostic Models by Model Relaxation Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

AAAI 2008 Computing Minimal Diagnoses by Greedy Stochastic Search Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

AAAI 2008 Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

AAAI 2006 A Two-Step Hierarchical Algorithm for Model-Based Diagnosis Alexander Feldman, Arjan J. C. van Gemund