Package | Description |
---|---|
net.sf.tweety.lp.asp.beliefdynamics.baserevision |
Class and 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
|