ContensionExample |
Example code illustrating the contension inconsistency measure.
|
DfInconsistencyMeasureExample |
Example code illustrating the Df inconsistency measure.
|
DSumMeasureExample |
Example code illustrating the distance-based inconsistency measures DSum, DMax and DHit.
|
FuzzyMeasureExample |
Example code illustrating fuzzy logic-based inconsistency measures.
|
IcebergInconsistencyExample |
Example code for the "iceberg" inconsistency measures as described in [De Bona, Hunter.
|
ImPostulateEvaluationExample |
Example code illustrating automatic postulate evaluation of
inconsistency measures.
|
InconsistencyMeasureEvaluationExample |
Example code for using InconsistencyMeasureEvaluator for comparing
inconsistency measure implementations.
|
MaMeasureExample |
Example code illustrating the Ma inconsistency measure.
|
MaxSatExample |
Illustrates the use of MaxSAT solvers.
|
McscInconsistencyMeasureExample |
Example code illustrating the MCSC inconsistency measure.
|
MinimalInconsistentSubsetExample |
Example code illustrating the use of MUS enumerators.
|
MusExample |
Example code illustrating the use of MUS enumerators.
|
PlExample |
Some general examples for using basic propositional logic classes like PlParser and SimplePlReasoner.
|
PmMeasureExample |
Example code illustrating the Pm inconsistency measure.
|
SatSolverExample |
Example code illustrating the use of external SAT solvers such as Lingeling
and CaDicaL, and related utilities.
|
SimplePlInterpolantEnumeratorExample |
Illustrates the use of the SimplePlInterpolantEnumerator
|
StreamInconsistencyEvaluationExample |
Illustrates stream-based inconsistency measurement.
|
StreamInconsistencyEvaluationExample2 |
Illustrates stream-based inconsistency measurement.
|
SyntacticEnumeratingPlBeliefSetSamplerExample |
Illustrates the use of the belief base enumerators.
|
SyntacticRandomPlBeliefSetSamplerExample |
Illustrates the use of the belief base enumerators.
|