| Class | Description |
|---|---|
| AspInconsistencyMeasureTest |
Tests the functionality of PmInconsistencyMeasure
|
| ClingoTest | |
| 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.
|