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
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

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