Download bibtex

[alferes2004deductive]
José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, and Terrance Swift
Deductive diagnosis of digital circuits
Artificial Intelligence Applications and Innovations, 155–165, 2004

[frohlich1998drum]
Peter Fröhlich
DRUM-II: Efficient Model Based Diagnosis of Technical Systems
Infix
1998

[lucas1997symbolic]
Peter Lucas
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review 12(02), 109–146, 1997

[de1987diagnosing]
Johan De Kleer and Brian C Williams
Diagnosing multiple faults
Artificial intelligence 32(1), 97–130, 1987