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.
-