Package | Description |
---|---|
net.sf.tweety.arg.dung.prover |
Modifier and Type | Class and Description |
---|---|
class |
AbstractDungSolver
This class extends
AbstractSolver further by parsing
abstract argumentation theories (for all formats) into the Tweety
data structures. |
class |
GroundTruthSolver
This class implements a solver for providing the ground truth of problems.
|
class |
ProboSolver
Calls an external solver to solver AA problems.
|
class |
TweetySolver
This is an example of a solver based on the "Tweety libraries for
logical aspects of artificial intelligence and knowledge representation".
|