Uses of Package
org.tweetyproject.lp.asp.beliefdynamics.baserevision
-
Packages that use org.tweetyproject.lp.asp.beliefdynamics.baserevision Package Description org.tweetyproject.lp.asp.beliefdynamics.baserevision -
Classes in org.tweetyproject.lp.asp.beliefdynamics.baserevision used by org.tweetyproject.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