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