Model-based diagnosis with default information implemented through MAX-SAT technology.

Dominique D'Almeida, ric Grgoire

Browse the full IRI paper archive.