Package net.sf.tweety.arg.deductive

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.
DeductiveKnowledgeBase	Instances of this class represent deductive knowledge bases, i.e.
SimpleReasoner	This class implements a brute force approach to deductive argumentation.