Package net.sf.tweety.arg.deductive.syntax

Class Summary

Class	Description
DeductiveKnowledgeBase	Instances of this class represent deductive knowledge bases, i.e.
SimplePlLogicArgument
SimplePlLogicDeductiveKnowledgebase
SimplePlRule	Basic data structure for handling simple rule