ContensionInconsistencyMeasure 
This class implements the contension inconsistency measure, cf.

ContensionInconsistencyMeasurementProcess 
Implements an approximation algorithm for the Contension inconsistency measure on streams.

ContensionSatInconsistencyMeasure 
This class implements a SAT encoding of the contension inconsistency measure,
originally proposed in [Grant, Hunter.

DalalDistance 
This class models the dalal distance measure between possible worlds,
see e.g.

DHitSatInconsistencyMeasure 
This class presents a satencodingbased implementation of the hitdistance
measure of [Grant and Hunter, “Analysing inconsistent information using distancebased
measures” Int.

DMaxSatInconsistencyMeasure 
This class presents a satencodingbased implementation of the maxdistance
measure of [Grant and Hunter, “Analysing inconsistent information using distancebased
measures” Int.

DSumSatInconsistencyMeasure 
This class presents a satencodingbased implementation of the sumdistance
measure of [Grant and Hunter, “Analysing incThis measure seeks an interpretation
I such that the the sum of the distances between every formula of the knowledge base and I is minimal.

FbInconsistencyMeasure 
Implements the forgettingbased inconsistency measure from
[Besnard.

FuzzyInconsistencyMeasure 
This measure implements the approach presented in [Thimm, Measuring Inconsistency with ManyValued Logics.

HsInconsistencyMeasurementProcess 
Implements an approximation algorithm for the Hs inconsistency measure on streams.

HsSatInconsistencyMeasure 
This class implements a SAT encoding of the hitting set inconsistency measure,
originally proposed in [Thimm.

IcebergInconsistencyMeasure 
This class implements the inconsistency measures proposed in [De Bona,
Hunter.

InconsistencyMeasureFactory 
Main factory for retrieving inconsistency measures for propositional logic.

MusVarInconsistencyMeasure 
This class implements the "MUSvariable based inconsistency measure" proposed in
[Xiao,Ma.

PlWindowInconsistencyMeasurementProcess 
A window inconsistency measurement process for propositional logic
(this class needs to be there as no generics are allowed when instantiating
a DefaultStreamBasedInconsistencyMeasure.

PmInconsistencyMeasure 
This class implements the inconsistency measure I_{P_m} proposed in
[Jabbour, Raddaoui.

PossibleWorldDistance 
This class refines interpretation distances to distance on possible worlds.

SatBasedInconsistencyMeasure 
A common base class for inconsistency measure implementations based on SAT
encodings.

SimplePlInterpolantEnumerator 
Implements an exhaustive search approach to compute all interpolants of
a knowledge base wrt.
