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 | |
TweetySolver |
This is an example of a solver based on the "Tweety libraries for
logical aspects of artificial intelligence and knowledge representation".
|