net.sf.tweety.lp.asp.beliefdynamics.baserevision
Interfaces
ConsolidationOperator
SelectionFunction
Classes
ELPBaseRevisionOperator
ELPLexicographicalComparator
MonotoneGlobalMaxichoiceSelectionFunction
RemainderSets
ScreenedMaxichoiceConsolidation
ScreenedRemainderSets