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.