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, 2004

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

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

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