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.