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