Package org.tweetyproject.arg.dung.equivalence.kernel
package org.tweetyproject.arg.dung.equivalence.kernel
-
ClassDescriptionKernel AK = (A, R') for strong equivalence wrt.Kernel CK = (A, R') for strong equivalence wrt.A strong equivalence kernel for abstract argumentation frameworks, used to characterise strong equivalence wrt.Kernel GK = (A, R') for strong equivalence wrt.Kernel SK = (A, R') for strong equivalence wrt.