@inproceedings{eed7c90208c945cdbb08a0f3d9192019,
title = "A hybrid diagnosis approach combining black-box and white-box reasoning",
abstract = "We study model-based diagnosis and propose a new approach of hybrid diagnosis combining black-box and white-box reasoning. We implemented and compared different diagnosis approaches including the standard hitting set algorithm and new approaches using answer set programming engines (DLV, Potassco) in the application of Euler/X toolkit, a logic-based toolkit for alignment of multiple biological taxonomies. Our benchmarks show that the new hybrid diagnosis approach runs about twice fast as the black-box diagnosis approach of the hitting set algorithm.",
author = "Mingmin Chen and Shizhuo Yu and Nico Franz and Shawn Bowers and Bertram Lud{\"a}scher",
year = "2014",
doi = "10.1007/978-3-319-09870-8_9",
language = "English (US)",
isbn = "9783319098692",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "127--141",
booktitle = "Rules on the Web",
note = "8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014 ; Conference date: 18-08-2014 Through 20-08-2014",
}