Uses of Package
org.tweetyproject.arg.deductive.semantics
-
Classes in org.tweetyproject.arg.deductive.semantics used by org.tweetyproject.arg.deductive.categorizer Class Description ArgumentTree Instances of this class represent argument trees in the sense of Definition 6.1 in
Philippe Besnard and Anthony Hunter. -
Classes in org.tweetyproject.arg.deductive.semantics used by org.tweetyproject.arg.deductive.semantics Class Description ArgumentTree Instances of this class represent argument trees in the sense of Definition 6.1 in
Philippe Besnard and Anthony Hunter.DeductiveArgument Instances of this class represent arguments in the sense of Definition 3.1 in
Philippe Besnard and Anthony Hunter.DeductiveArgumentNode Extends a deductive argument by a unique identifier. -
Classes in org.tweetyproject.arg.deductive.semantics used by org.tweetyproject.arg.deductive.semantics.attacks Class Description DeductiveArgument Instances of this class represent arguments in the sense of Definition 3.1 in
Philippe Besnard and Anthony Hunter. -
Classes in org.tweetyproject.arg.deductive.semantics used by org.tweetyproject.arg.deductive.syntax Class Description DeductiveArgument Instances of this class represent arguments in the sense of Definition 3.1 in
Philippe Besnard and Anthony Hunter. -
Classes in org.tweetyproject.arg.deductive.semantics used by org.tweetyproject.beliefdynamics.mas Class Description ArgumentTree Instances of this class represent argument trees in the sense of Definition 6.1 in
Philippe Besnard and Anthony Hunter.