Uses of Class
org.tweetyproject.arg.deductive.syntax.DeductiveKnowledgeBase
-
Packages that use DeductiveKnowledgeBase Package Description org.tweetyproject.arg.deductive.reasoner org.tweetyproject.arg.deductive.semantics -
-
Uses of DeductiveKnowledgeBase in org.tweetyproject.arg.deductive.reasoner
Methods in org.tweetyproject.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 org.tweetyproject.arg.deductive.semantics
Constructors in org.tweetyproject.arg.deductive.semantics with parameters of type DeductiveKnowledgeBase Constructor Description Compilation(DeductiveKnowledgeBase kb)
Creates the compilation of the given knowledge base.
-