Package net.sf.tweety.lp.asp.beliefdynamics.revision

Interface Summary

Interface	Description
CredibilityRevision.AnswersetProcessing	interface defines a method to process the extended answer sets of the credibility revision to generate the new ELP.

Class Summary

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.