Uses of Package
org.tweetyproject.arg.dung.reasoner.serialisable
Packages that use org.tweetyproject.arg.dung.reasoner.serialisable
-
Classes in org.tweetyproject.arg.dung.reasoner.serialisable used by org.tweetyproject.arg.dung.reasoner.serialisableClassDescriptionAbstract class for computing extensions via a serialised transition system to implement this class, you need to define a selection and a termination function Selection function a(UA, UC, C): selects and returns a subset of the initial sets Termination function b((AF, S)): If the given state satisfies a specific condition, its extension may be accepted by the associated serialised semanticsSerialised version of the admissible semanticsSerialised version of the complete semantics