Package org.tweetyproject.arg.bipolar.reasoner.necessity
package org.tweetyproject.arg.bipolar.reasoner.necessity

ClassDescriptiona set of arguments S is admissible iff it is strongly coherent and defends all of its arguments.a set of arguments S is complete iff it is admissible and all arguments defended by S are in S.the grounded extension of bbase is the least fixed point of the characteristic function.a set of arguments S is preferred iff it is maximal wrt set inclusion admissible.a set of arguments S is stable iff the set of arguments deactivated by S equals A\S, where A is the set of all arguments in the argumentation framework.