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