AbstractBeliefSetConsistencyTester<T extends Formula> 
Classes extending this abstract class are capable of testing
whether a given belief set is consistent.

AbstractMusEnumerator<S extends Formula> 
Abstract implementation for MUes enumerators.

BeliefSetInconsistencyMeasure<S extends Formula> 
Classes extending this abstract class represent inconsistency measures
on belief sets.

CcInconsistencyMeasure<S extends Formula> 
This class implements the inconsistency measure I_CC from
[Said Jabbour and Yue Ma and Badran Raddaoui.

CspInconsistencyMeasure<S extends Formula> 
This class implements the inconsistency measure I_CSP from
[Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.

DfInconsistencyMeasure<S extends Formula> 
This class implements the family of "Measures of the Degree of Inconsistency" from
[Mu,Liu,Jin, Bell.

DHitInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> 
This class implements the dhit inconsistency measure from [Grant, Hunter.

DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> 
This class implements the dmax inconsistency measure from [Grant, Hunter.

DrasticInconsistencyMeasure<S extends Formula> 
This class models the drastic inconsistency measure.

DSumInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> 
This class implements the dsum inconsistency measure from [Grant, Hunter.

EtaInconsistencyMeasure<B extends BeliefBase,S extends Formula> 
This class implements the Etainconsistency measure, cf.

HsInconsistencyMeasure<B extends BeliefBase,S extends Formula> 
This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation].

IsInconsistencyMeasure<S extends Formula> 
This class implements the inconsistency measure I_CSP from
[Said Jabbour.

MaInconsistencyMeasure<S extends Formula> 
This class models the I_M inconsistency measure from e.g.

McscInconsistencyMeasure<S extends Formula> 
This class implements the approach of [Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha.

MicInconsistencyMeasure<S extends Formula> 
This class models the MI^C inconsistency measure.

MiInconsistencyMeasure<S extends Formula> 
This class models the MI inconsistency measure.

NaiveMusEnumerator<S extends Formula> 
A simple approach to compute minimal inconsistent subsets and maximal
consistent subsets by exhaustive search.

NConsInconsistencyMeasure<S extends Formula> 
This class implements an inconsistency measure based on "nconsistency" proposed in
[Doder,Raskovic,Markovic,Ognjanovic.

NormalizedMicInconsistencyMeasure<S extends Formula> 
This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].

NormalizedMiInconsistencyMeasure<S extends Formula> 
This class models the normalized MI inconsistency measure, see [PhD thesis, Thimm].

PrInconsistencyMeasure<S extends Formula> 
This class models the P inconsistency measure from e.g.

ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>> 
This class implements the Shapley culpability measure.
