Abstract
We detail two instantiations of a generic algorithm for the problematic and MUS-variable-based inconsistency measures, based on answer set programming......
小提示:本篇文献需要登录阅读全文,点击跳转登录