Uses of Class
net.sf.tweety.arg.deductive.syntax.DeductiveKnowledgeBase
-
Packages that use DeductiveKnowledgeBase Package Description net.sf.tweety.arg.deductive.reasoner net.sf.tweety.arg.deductive.semantics -
-
Uses of DeductiveKnowledgeBase in net.sf.tweety.arg.deductive.reasoner
Methods in net.sf.tweety.arg.deductive.reasoner with parameters of type DeductiveKnowledgeBase Modifier and Type Method Description java.lang.Double
AbstractDeductiveArgumentationReasoner. query(DeductiveKnowledgeBase kb, PlFormula f)
-
Uses of DeductiveKnowledgeBase in net.sf.tweety.arg.deductive.semantics
Constructors in net.sf.tweety.arg.deductive.semantics with parameters of type DeductiveKnowledgeBase Constructor Description Compilation(DeductiveKnowledgeBase kb)
Creates the compilation of the given knowledge base.
-