Package | Description |
---|---|
net.sf.tweety.arg.delp.semantics |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<ArgumentCompletion> |
ArgumentCompletion.getCompletions(DelpArgument argument,
DefeasibleLogicProgram delp)
This static method computes all argument completions for the given parameter
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<java.util.Set<FolFormula>> |
GeneralizedSpecificity.ntActSets(ArgumentCompletion argument)
Computes the activation sets of the given argument completion.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<java.util.Set<FolFormula>> |
GeneralizedSpecificity.ntActSets(java.util.Set<ArgumentCompletion> argumentCompletions)
Computes the activation sets of all given argument completions
|