| Class | Description |
|---|---|
| AspInconsistencyMeasureTest |
Tests the functionality of PmInconsistencyMeasure
|
| ClingoTest |
Test class for Clingo.
|
| DLVTest |
Test class for DLV.
|
| PmInconsistencyMeasure |
This class implements the inconsistency measure $I_\pm$ from
[Ulbricht, Thimm, Brewka.
|
| SdInconsistencyMeasure |
This class implements the inconsistency measure $I_sd$ from
[Ulbricht, Thimm, Brewka.
|