Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
GP
G. Provan
Academic Work (17)
Conference paper (15)
Journal article (2)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
17 records found
1
Exploring the Duality in Conflict-Directed Model-Based Diagnosis
Conference paper (2012) -
R Stern (author)
,
M Kalech (author)
,
A.B. Feldman (author)
,
G. Provan (author)
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Journal article (2010) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
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 Robert (author)
,
A.J.C. van Gemund (author)
A Model-Based Active Testing Approach to Sequential Diagnosis
Journal article (2010) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
The Lydia Approach to Combinational Model-Based Diagnosis
Conference paper (2009) -
A.B. Feldman (author)
,
G. Provan (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)
Solving Strong-Fault Diagnostic Models by Model Relaxation
Conference paper (2009) -
A.B. Feldman (author)
,
G. Provan (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)
FRACTAL: Efficient Fault Isolation Using Active Testing
Conference paper (2009) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
Computing minimal diagnoses by greedy stochastic search
Conference paper (2008) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
A framework and algorithm for model-based active testing
Conference paper (2008) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
A framework and algorithm for model-based active testing
Conference paper (2008) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
Computing observation vectors for max-fault min-cardinality diagnoses
Conference paper (2008) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Conference paper (2007) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Conference paper (2007) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
Generating Manifestations of Max-Fault Min-Cardinality Diagnoses
Conference paper (2007) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)
Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference
Conference paper (2007) -
A.B. Feldman (author)
,
G. Provan (author)
,
A.J.C. van Gemund (author)