How should I compute my candidates? A taxonomy and classification of
diagnosis computation algorithmsEuropean Conference on Artificial Intelligence (ECAI), 2022 |
DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential
DiagnosisInformation Sciences (Inf. Sci.), 2020 |
RBF-HS: Recursive Best-First Hitting Set SearchArtificial Intelligence (AI), 2020 |