Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement

Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo +1

We present algorithms based on satisfiability problem (SAT) solving, as well as answer set programming (ASP), for solving the problem of determining inconsistency degrees in propos…