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