Class | Description |
---|---|
ArgumentationKnowledgeBase |
Instances of this class represent the set of minimal arguments from
a extended logic program
|
ArgumentationReasoner |
This class models a reasoner for extended logic programming based arguments using
the fixpoint semantics from [1] parameterised by a notion of attack x for the opponent
and another notion of attack y as a defense for the proponent.
|
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.
|