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].

InconsistencyMeasureEvaluator<T extends Formula,U extends BeliefSet<T,?>> 
This class provides functionality to quickly load or generate sample datasets
and to use them to compare the results and performances of different
inconsistency measure implementations.

InconsistencyMeasureReport<T extends Formula,U extends BeliefSet<T,?>> 
This class summarizes the results of computing inconsistency values
for some collection of knowledge bases using some set of inconsistency measures,
including computation times and some statistics.

InconsistencyMeasureResult 
This class represents the results the result of a call to an inconsistency measure
with a knowledge base, i.e.

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.
