Class | Description |
---|---|
ContensionExample |
Example code illustrating the contension inconsistency measure.
|
DfInconsistencyMeasureExample |
Example code illustrating the Df inconsistency measure.
|
DSumMeasureExample | |
FuzzyMeasureExample | |
ImPostulateEvaluationExample |
Example code illustrating automatic postulate evaluation of
inconsistency measures.
|
LingelingExample | |
MaMeasureExample | |
McscInconsistencyMeasureExample | |
MinimalInconsistentSubsetExample | |
MusExample | |
PmMeasureExample | |
StreamInconsistencyEvaluationExample | |
StreamInconsistencyEvaluationExample2 | |
SyntacticEnumeratingPlBeliefSetSamplerExample | |
SyntacticRandomPlBeliefSetSamplerExample |