Computing MUS-Based Inconsistency Measures

Kuhlmann, I; Niskanen, A; Järvisalo, M

Järvisalo, M (通讯作者),Univ Helsinki, Helsinki, Finland.

LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023; 14281 (): 745

Abstract

We detail two instantiations of a generic algorithm for the problematic and MUS-variable-based inconsistency measures, based on answer set programming......

Full Text Link