Package org.tweetyproject.arg.aspic.ruleformulagenerator

package org.tweetyproject.arg.aspic.ruleformulagenerator

Related Packages

Package	Description
org.tweetyproject.arg.aspic

Classes

Class	Description
FolFormulaGenerator	Implements RuleFormulaGenerator for first order logic.
PlFormulaGenerator	Implements RuleFormulaGenerator for propositional logic.
RuleFormulaGenerator<T extends Invertable>	This class transforms a defeasible ASPIC inference rule into a corresponding formula, i.e.