Euler: A Logic‐Based Toolkit for Aligning & Reconciling Multiple Taxonomic Perspectives
Bertram's talk on Hybrid (Black-box + White-box) Diagnosis at RuleML'14 in Prague
Ludäscher et al. 2014 - A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning
