An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming-Isabelle Kuhlmann and Matthias Thimm