net.sf.tweety.arg.deductive
Classes
AbstractDeductiveArgumentationReasoner
CompilationReasoner
DeductiveKnowledgeBase
SimpleReasoner