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	Description
class	CompilationReasoner	This class implements the approach of knowledge base compilation as proposed in Philippe Besnard and Anthony Hunter.
class	SimpleDeductiveReasoner	This class implements a brute force approach to deductive argumentation.