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

ClassDescriptiona set of arguments S is admissible iff it is conflictfree and all elements of S are acceptable wrt.a set of arguments S is complete iff it is admissible and all arguments acceptable wrt.a set of arguments S is conflictfree iff there exists no attack between a subset of S and an element of 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.a set of arguments S is selfsupporting iff all arguments in S are esupported by S.a set of arguments S is stable iff it is conflictfree, selfsupporting and for any argument a esupported by bbase, where a is not in S, S esupport attacks either a or every set of arguments minimally esupporting a.