Uses of Package
net.sf.tweety.lp.asp.beliefdynamics.baserevision

Packages that use net.sf.tweety.lp.asp.beliefdynamics.baserevision

Package	Description
net.sf.tweety.lp.asp.beliefdynamics.baserevision

Classes in net.sf.tweety.lp.asp.beliefdynamics.baserevision used by net.sf.tweety.lp.asp.beliefdynamics.baserevision

Class	Description
ConsolidationOperator	This interface represents an consolidation operator for belief bases as defined in [KKI12].
RemainderSets	This class represents the set of remainder sets constructed from a belief base.
ScreenedRemainderSets	This class represents the set of Screened Consistent Remainder Sets as defined in [1].
SelectionFunction	This interface models a general selection function for remainder sets