Uses of Class
org.tweetyproject.beliefdynamics.CredibilityRevision
Packages that use CredibilityRevision
Package
Description
-
Uses of CredibilityRevision in org.tweetyproject.beliefdynamics
Subclasses of CredibilityRevision in org.tweetyproject.beliefdynamicsModifier 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
Subclasses of CredibilityRevision in org.tweetyproject.lp.asp.beliefdynamics.revisionModifier 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.