sum2020 bosk2020 21 videos found 13:48 An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming-Isabelle Kuhlmann and Matthias Thimm 111 views sum2020 contributedtalk «123Page 3 of 3