MERGEXPLAIN swMATH ID: 24976 Software Authors: Shchekotykhin, K.M., Jannach, D., Schmitz, T. Description: MERGEXPLAIN: fast computation of multiple conflicts for diagnosis. The computation of minimal conflict sets is a central task when the goal is to find relaxations or explanations for overconstrained problem formulations and in particular in the context of Model-Based Diagnosis (MBD) approaches. In this paper we propose MERGEXPLAIN, a non-intrusive conflict detection algorithm which implements a divide-and-conquer strategy to decompose a problem into a set of smaller independent subproblems. Our technique allows us to efficiently determine multiple minimal conflicts during one single problem decomposition run, which is particularly helpful in MBD problem settings. An empirical evaluation on various benchmark problems shows that our method can lead to a significant reduction of the required diagnosis times. Homepage: https://dl.acm.org/citation.cfm?id=2832698 Related Software: OntoDebug; Protege; Pellet; QUICKXPLAIN; ELK; HermiT; Swoop; ORE Cited in: 2 Documents Cited by 2 Authors 2 Rodler, Patrick 1 Schekotihin, Konstantin Cited in 1 Serial 1 Artificial Intelligence Cited in 1 Field 2 Computer science (68-XX) Citations by Year