Uses of Class
net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner

Packages that use AbstractDeductiveArgumentationReasoner

Package	Description
net.sf.tweety.arg.deductive.reasoner

Uses of AbstractDeductiveArgumentationReasoner in net.sf.tweety.arg.deductive.reasoner

Subclasses of AbstractDeductiveArgumentationReasoner in net.sf.tweety.arg.deductive.reasoner

Modifier and Type	Class and Description
class	CompilationReasoner This class implements the approach of knowledge base compilation as proposed in Philippe Besnard and Anthony Hunter.
class	SimpleReasoner This class implements a brute force approach to deductive argumentation.