Package | Description |
---|---|
net.sf.tweety.lp.asp.beliefdynamics.baserevision |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
MonotoneGlobalMaxichoiceSelectionFunction.select(ScreenedRemainderSets remainderSets)
Selects the maximal remainder set from the set of all remainder sets according to
a total order on all extended logic programs.
|