Uses of Interface
net.sf.tweety.arg.dung.prover.InterfaceSolver

Packages that use InterfaceSolver

Package	Description
net.sf.tweety.arg.dung.prover

Uses of InterfaceSolver in net.sf.tweety.arg.dung.prover

Classes in net.sf.tweety.arg.dung.prover that implement InterfaceSolver

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	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); }".
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".