Package | Description |
---|---|
net.sf.tweety.arg.lp |
Modifier and Type | Class and Description |
---|---|
class |
LiteralReasoner
This class extends the default argumentation reasoner to the reasoning
about literals in the set of arguments constructible from an extended logic program p.
|