net.sf.tweety.arg.deductive.syntax
Classes
DeductiveKnowledgeBase
SimplePlLogicArgument
SimplePlLogicDeductiveKnowledgebase
SimplePlRule