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.