Interface | Description |
---|---|
DungTheoryGenerator |
Class implementing this interface provide the capability
to generate Dung theories.
|
Class | Description |
---|---|
DefaultDungTheoryGenerator |
Implements a customizable Dung theory generator.
|
DungTheoryGenerationParameters |
This class lists some parameters
for Dung theory generation.
|
EnumeratingDungTheoryGenerator |
This generator generators all possible Dung argumentation theories.
|
FileDungTheoryGenerator |
This generator receives a list of files containing Dung theories
and returns those step by step.
|
IsoSafeEnumeratingDungTheoryGenerator |
This generator generators all possible Dung argumentation theories
(modulo graph isomorphism).
|
PodlaszewskiCaminadaDungTheoryGenerator |
This generator generates abstract argumentation frameworks following the schema
described in "String Admissibility Revisited" (COMMA2014) by Martin Caminda, following
and idea by Mikolay Podlaszewski.
|