net.sf.tweety.arg.simplelogicdeductive
Classes
SimplePlLogicDeductiveKnowledgebase