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