A generic and symbolic model-based diagnostic reasoner with highly scalable properties.

Amit Misra, Gregory M. Provan, Gabor Karsai, George Bloor, Ethan Scarl

Browse the full SMC paper archive.