Package org.tweetyproject.arg.deductive.semantics
package org.tweetyproject.arg.deductive.semantics
-
ClassesClassDescriptionInstances of this class represent argument trees in the sense of Definition 6.1 in
Philippe Besnard and Anthony Hunter.Instances of this class are compilations in the sense of Definition 8 in
Philippe Besnard and Anthony Hunter.Instances of this class represent nodes in the compilation of a knowledge base, i.e.Instances of this class represent arguments in the sense of Definition 3.1 in
Philippe Besnard and Anthony Hunter.Extends a deductive argument by a unique identifier.