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