Uses of Class
net.sf.tweety.arg.deductive.DeductiveKnowledgeBase

Packages that use DeductiveKnowledgeBase

Package	Description
net.sf.tweety.arg.deductive.semantics

Uses of DeductiveKnowledgeBase in net.sf.tweety.arg.deductive.semantics

Constructors in net.sf.tweety.arg.deductive.semantics with parameters of type DeductiveKnowledgeBase

Constructor and Description
Compilation(DeductiveKnowledgeBase kb) Creates the compilation of the given knowledge base.