Package org.tweetyproject.lp.asp.analysis

package org.tweetyproject.lp.asp.analysis

Classes

Class	Description
AspInconsistencyMeasureTest	Tests the functionality of PmInconsistencyMeasure
ClingoTest	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.