| Interface | Description |
|---|---|
| CredibilityRevision.AnswersetProcessing |
interface defines a method to process the extended answer sets of the
credibility revision to generate the new ELP.
|
| Class | Description |
|---|---|
| CredibilityRevision |
Implements the credibility revision approach for ASP described in
Kruempelmann et al.
|
| CredibilityRevision.DefaultBehavior |
This class implements a default behavior for the processing of the answer sets
of the credibility logic programs.
|
| CredibilityTest |
Tests the revision method described in Kruempelmann et al.
|
| PreferenceHandling |
The implementation orients on the diploma thesis of Mirja Boehmer
in this class a variant of the approach
"A Preference-Based Framework for Updating Logic Programs" by James P.
|
| RevisionTest |
Uses the RevisionCompareView in a JFrame to compare the different revision methods in ASP.
|