Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases

Kevin McAreavey, Weiru Liu, Paul C. Miller. Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases. Int. J. Approx. Reasoning, 55(8):1659-1693, 2014. [doi]

Abstract

Abstract is missing.