Uses of Class
net.sf.tweety.beliefdynamics.CredibilityRevision

Packages that use CredibilityRevision

Package	Description
net.sf.tweety.beliefdynamics
net.sf.tweety.beliefdynamics.gui
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.beliefdynamics.gui

Methods in net.sf.tweety.beliefdynamics.gui with parameters of type CredibilityRevision

Modifier and Type	Method	Description
private <T extends Formula> java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>>	RevisionCompareView.revision(CredibilityRevision<T> op)	Helper method: Runs a revision using the credibility revision operator interface.

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.