Uses of Class
org.tweetyproject.beliefdynamics.CredibilityRevision
Package
Description
-
Uses of CredibilityRevision in org.tweetyproject.beliefdynamics
Modifier and TypeClassDescriptionclass
CredibilityRevisionIterative<T extends Formula>
Implements the list based method of the Revision interface by iterative calling the revision method which revise two belief bases.class
CredibilityRevisionNonIterative<T extends Formula>
Implements the revision method with two belief bases by delegating the processing to the revision method bases on an ordered list of belief bases. -
Uses of CredibilityRevision in org.tweetyproject.lp.asp.beliefdynamics.revision
Modifier and TypeClassDescriptionclass
Implements the credibility revision approach for ASP described in Kruempelmann et al.class
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.