Package org.tweetyproject.arg.dung.reasoner.serialisable
package org.tweetyproject.arg.dung.reasoner.serialisable
-
ClassDescriptionAncestor class for serialisable AF reasonersSerialised version of the admissible semanticsSerialised version of the complete semanticsSerialised version of the grounded semanticsSerialised version of the preferred semanticsSerialised version of the stable semanticsThis class represents a reasoner to compute the extensions of the strongly admissible
Semantics
by serialising unattacked initial sets.Serialised reasoner for the unchallenged semantics The unchallenged semantics amounts to exhaustively adding unattacked and unchallenged initial sets