Modifier and Type | Class and Description |
---|---|
class |
ABAAttack<T extends Formula> |
Modifier and Type | Class and Description |
---|---|
class |
Deduction<T extends Formula> |
Modifier and Type | Class and Description |
---|---|
class |
AspicAttack<T extends Invertable> |
Modifier and Type | Class and Description |
---|---|
class |
AspicArgument<T extends Invertable> |
Modifier and Type | Class and Description |
---|---|
class |
Argument
This class models an argument used by Dung's abstract argumentation theory and is just described by its name.
|
class |
Attack
This class models an attack between two arguments.
|
Modifier and Type | Class and Description |
---|---|
class |
ArgumentStructure
This class models an argument structure, i.e.
|
class |
BasicArgument
This class models a basic argument in structured argumentation frameworks, i.e.
|