| Interface | Description |
|---|---|
| InterfaceSolver |
The most general interface for solvers of argumentation problems.
|
| Class | Description |
|---|---|
| AbstractDungSolver |
This class extends
AbstractSolver further by parsing
abstract argumentation theories (for all formats) into the Tweety
data structures. |
| AbstractSolver |
An abstract implementation of a solver that provides
a command line interface.
NOTE: An actual implementation of a solver must then only contain a main method of the form "public static void main(String[] args){ new MySolver().execute(args); }". |
| GroundTruthSolver |
This class implements a solver for providing the ground truth of problems.
|
| ProboSolver |
Calls an external solver to solver AA problems.
|
| TweetySolver |
This is an example of a solver based on the "Tweety libraries for
logical aspects of artificial intelligence and knowledge representation".
|