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