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