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