Uses of Class
org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
-
Packages that use AbstractDeductiveArgumentationReasoner Package Description org.tweetyproject.arg.deductive.reasoner -
-
Uses of AbstractDeductiveArgumentationReasoner in org.tweetyproject.arg.deductive.reasoner
Subclasses of AbstractDeductiveArgumentationReasoner in org.tweetyproject.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.
-