Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement. - Kuhlmann, Isabelle; Gessler, Anna; Laszlo, Vivien; Thimm, Matthias (Journal of Artificial Intelligence Research, 2025)