A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure. - Isabelle Kuhlmann; Anna Gessler; Vivien Laszlo; Matthias Thimm (SUM, 2022)

Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement. - Isabelle Kuhlmann; Anna Gessler; Vivien Laszlo; Matthias Thimm (J. Artif. Intell. Res., 2025)