| 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
|