net.sf.tweety.arg.bipolar.reasoner.deductive

Class Summary
Class	Description
ClosureReasoner	a set of arguments S is closed under the support relation iff all arguments supported by an element of S are in S.
SafetyReasoner	a set of arguments S is safe wrt.

Package net.sf.tweety.arg.bipolar.reasoner.deductive