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 protected abstract ArgumentTree
AbstractDeductiveArgumentationReasoner. getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)
Computes the argument tree of the given argument.protected ArgumentTree
CompilationReasoner. getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)
protected ArgumentTree
SimpleDeductiveReasoner. getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)
private ArgumentTree
SimpleDeductiveReasoner. getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgumentNode argNode, java.util.Set<PlFormula> support)
Computes the argument tree of the given argument.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.
-