Package | Description |
---|---|
net.sf.tweety.lp.asp.beliefdynamics.baserevision |
Modifier and Type | Class and Description |
---|---|
class |
MonotoneGlobalMaxichoiceSelectionFunction
This class implements a monotone global maxichoise selection function
for remainder sets of extended logic programs as introduced in [KKI12].
|
Modifier and Type | Field and Description |
---|---|
private SelectionFunction<Rule> |
ELPBaseRevisionOperator.selection |
private SelectionFunction<Rule> |
ScreenedMaxichoiceConsolidation.selection |
Constructor and Description |
---|
ELPBaseRevisionOperator(Solver solver,
SelectionFunction<Rule> selection) |
ScreenedMaxichoiceConsolidation(Program screen,
SelectionFunction<Rule> selection,
Solver solver)
Creates a new screened maxi-choice consolidation operator with the given screen,
selection function and a link to an answer set solver.
|