Uses of Class
net.sf.tweety.arg.aspic.AspicArgumentationTheory

Packages that use AspicArgumentationTheory

Package	Description
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.ruleformulagenerator

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.parser

Methods in net.sf.tweety.arg.aspic.parser that return AspicArgumentationTheory

Modifier and Type	Method and Description
AspicArgumentationTheory<T>	AspicParser.parseBeliefBase(java.io.Reader reader)

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.ruleformulagenerator

Methods in net.sf.tweety.arg.aspic.ruleformulagenerator with parameters of type AspicArgumentationTheory

Modifier and Type	Method and Description
DefeasibleInferenceRule<T>	RuleFormulaGenerator.getInferenceRule(T formula, AspicArgumentationTheory<T> kb) Transforms a formula of type T into a corresponding defeasible ASPIC inference rule form the knowledge base kb