Uses of Package
net.sf.tweety.arg.deductive.semantics
-
Classes in net.sf.tweety.arg.deductive.semantics used by net.sf.tweety.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 net.sf.tweety.arg.deductive.semantics used by net.sf.tweety.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 net.sf.tweety.arg.deductive.semantics used by net.sf.tweety.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 net.sf.tweety.arg.deductive.semantics used by net.sf.tweety.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 net.sf.tweety.arg.deductive.semantics used by net.sf.tweety.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.