| Class | Description |
|---|---|
| ArgumentationLottery |
This class implements an argumentation lottery, i.e.
|
| LdoArgumentationLottery |
This class implements an argumentation lottery based on the logic of dialectical outcomes,
i.e.
|
| LdoUtilityFunction |
A utility function that maps LDO formulas to utilities
|
| SubgraphProbabilityFunction |
Represents a probability function on the subgraphs of some Dung theory.
|
| UtilityFunction |
A utility function that maps divisions to utilities
|