TY  - RPRT
TI  - Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
AU  - Isabelle Kuhlmann
AU  - Anna Gessler
AU  - Vivien Laszlo
AU  - Matthias Thimm
PY  - 2025
DO  - 10.1613/jair.1.16888
UR  - https://arxiv.org/abs/2304.14832
ID  - 2304.14832
ER  -