Package net.sf.tweety.lp.asp.analysis
-
Class Summary Class Description AspInconsistencyMeasureTest Tests the functionality of PmInconsistencyMeasureClingoTest Test class for Clingo.DLVTest Test class for DLV.PmInconsistencyMeasure This class implements the inconsistency measure $I_\pm$ from [Ulbricht, Thimm, Brewka.SdInconsistencyMeasure This class implements the inconsistency measure $I_sd$ from [Ulbricht, Thimm, Brewka.