Package net.sf.tweety.arg.deductive.reasoner
-
Class Summary Class Description AbstractDeductiveArgumentationReasoner This class contains common characteristics for deductive argumentation reasoner.CompilationReasoner This class implements the approach of knowledge base compilation as proposed in
Philippe Besnard and Anthony Hunter.SimpleDeductiveReasoner This class implements a brute force approach to deductive argumentation.