ML Anthology

Kuhlmann, Isabelle

1 publications

JAIR 2025 Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm