Mar 14, 2012 . Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Approximate

A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. [DBLP_Link]

environment and a model-based diagnostic reasoning system based on the S&T

Alexander Feldman , Gregory Provan , Arjan van Gemund, Approximate model-

Sehen Sie sich das Karriere-Profil von Alexander Feldman (Schweiz) auf .

Jul 1, 2010 . Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa

A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis.

[8], Alexander Feldman, Jurryt Pietersma, and Arjan van Gemund. All roads lead

Jul 11, 2011 . Alexander Feldman's interest cover wide spectrum, including topics such as

Approximate Model-Based Diagnosis Using Greedy. Stochastic Search.

A Family of Model-Based Diagnosis. Algorithms Based on Max-SAT. Alexander

The DX Workshop Series. Accepted Regular Papers.

A Model-Based Active Testing Approach to. Sequential Diagnosis. Alexander

Alexander Feldman , Arjan van Gemund, A two-step hierarchical algorithm for

A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis.

Submitted 2/10; published 9/10. A Model-Based Active Testing Approach to.

In this paper, we introduce model-based diagnosis and .

Approximate Model-Based Diagnosis. Using Greedy Stochastic Search.

Approximate Model-Based Diagnosis Using Greedy Stochastic Search. [

Tangram: Model-based Integration and testing of complex High .

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund. Approximate

Artificial Intelligence - Model-Based Diagnosis - Model-Based .

A. Feldman, G. Provan and A. van Gemund (2010) "A Model-Based Active

for Model-Based Diagnosis . To my father Beniamin Feldman (1939 – 2008). . ..

A Model-Based Active Testing Approach to Sequential Diagnosis. J. Artif. Intell.

Alexander Feldman's interest cover wide spectrum, including topics such as

J. Wang and G. Provan (2009) 'A Benchmark Diagnostic Model .

A. Feldman and G. Provan and J. de Kleer and S. Robert and A.J.C. van Gemund

Approximate Model-Based Diagnosis. Using Greedy Stochastic Search.

Alexander Feldman, Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David .

Model-based diagnosis for avionics systems using minimal cuts. Andreas Bauer,

Systems*. Peter Zoeteweij, Jurryt Pietersma, Rui Abreu, Alexander Feldman, and.

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Approximate

A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. Alexander

{a.b.feldman,a.j.c.vangemund}@tudelft.nl⋆. 2 University . 1 Introduction. Model-

e-mail: {a.b.feldman,a.j.c.vangemund}@tudelft.nl. 2. University College Cork .

Jul 29, 2008 . A. Feldman, J. Pietersma, and A. J. C. van Gemund. A multi-valued SAT-based

Model-based diagnosis for fault identification has been an area . sistency based

A. Feldman, G. Provan and A. van Gemund (2010) "Approximate Model-Based

Model-Based Diagnosis. Alexander Feldman∗ Gregory Provan ∗∗ Arjan van

11:30 - 12:00, Interchange Formats and Automated Benchmark Model

Dr. Alexander Feldman (Alex) is a postdoc at HEIG-VD. He has . journals

Model-Based Diagnosis (MBD) is one of the . . diagnosis problem with SAT

A Greedy Stochastic Search Algorithm for Model-Based Diagnosis. Alexander

In: Readings in Model-Based Diagnosis, Hamscher, W., de Kleer, J. and . . L., de

CSR: Small: Architecture-based Run-time Fault Diagnosis (1116848, NSF Award

A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. Alexander

Oral Session 1: Modeling for Diagnosis chaired by Alexander Feldman. Arjan

a.b.feldman@tudelft.nl; URL: http://llama.gs/. Research Interests. Automated

A. Feldman, G. Provan, A.J.C. van Gemund, "A Model-Based Active Testing

Sitemap