Uses of Class
net.sf.tweety.beliefdynamics.CredibilityRevision
-
Packages that use CredibilityRevision Package Description net.sf.tweety.beliefdynamics net.sf.tweety.lp.asp.beliefdynamics.revision -
-
Uses of CredibilityRevision in net.sf.tweety.beliefdynamics
Subclasses of CredibilityRevision in net.sf.tweety.beliefdynamics Modifier and Type Class Description class
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 net.sf.tweety.lp.asp.beliefdynamics.revision
Subclasses of CredibilityRevision in net.sf.tweety.lp.asp.beliefdynamics.revision Modifier and Type Class Description class
CredibilityRevision
Implements the credibility revision approach for ASP described in Kruempelmann et al.class
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.
-