Package net.sf.tweety.arg.deductive.semantics

Class Summary

Class	Description
ArgumentTree	Instances of this class represent argument trees in the sense of Definition 6.1 in Philippe Besnard and Anthony Hunter.
Compilation	Instances of this class are compilations in the sense of Definition 8 in Philippe Besnard and Anthony Hunter.
CompilationNode	Instances of this class represent nodes in the compilation of a knowledge base, i.e.
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.