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