Uses of Class
net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
-
Packages that use ScreenedRemainderSets Package Description net.sf.tweety.lp.asp.beliefdynamics.baserevision -
-
Uses of ScreenedRemainderSets in net.sf.tweety.lp.asp.beliefdynamics.baserevision
Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision with parameters of type ScreenedRemainderSets Modifier and Type Method Description java.util.Collection<ASPRule>
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.
-