Strong inconsistency

Brewka, G; Thimm, M; Ulbricht, M

Ulbricht, M (reprint author), Univ Leipzig, Dept Comp Sci, Leipzig, Germany.

ARTIFICIAL INTELLIGENCE, 2019; 267 (): 78

Abstract

Minimal inconsistent subsets of knowledge bases play an important role in propositional logic, most notably for diagnosis, axiom pinpointing, and inco......

Full Text Link