← Search

Kedian Mu

2 accepted papers

2020

Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP (Extended Abstract)

IJCAI 2020poster

As one of fundamental properties to characterize inconsistency measures for knowledge bases, the property of free formula independence captures well the intuition that free formulas are independent of the amount of inconsistency in a knowledge base for cases where inconsistency is characterized in…

Cited by 0SourcePDFScholar