Uses of Package
net.sf.tweety.arg.deductive.syntax
-
Classes in net.sf.tweety.arg.deductive.syntax used by net.sf.tweety.arg.deductive.parser Class Description SimplePlLogicDeductiveKnowledgebase SimplePlRule Basic data structure for handling simple rule -
Classes in net.sf.tweety.arg.deductive.syntax used by net.sf.tweety.arg.deductive.reasoner Class Description DeductiveKnowledgeBase Instances of this class represent deductive knowledge bases, i.e. -
Classes in net.sf.tweety.arg.deductive.syntax used by net.sf.tweety.arg.deductive.semantics Class Description DeductiveKnowledgeBase Instances of this class represent deductive knowledge bases, i.e. -
Classes in net.sf.tweety.arg.deductive.syntax used by net.sf.tweety.arg.deductive.syntax Class Description SimplePlRule Basic data structure for handling simple rule