Uses of Class
net.sf.tweety.logics.translators.Translator

Packages that use Translator

Package	Description
net.sf.tweety.logics.translators.aspfol
net.sf.tweety.logics.translators.aspnlp
net.sf.tweety.logics.translators.clnlp
net.sf.tweety.logics.translators.folprop

Uses of Translator in net.sf.tweety.logics.translators.aspfol

Subclasses of Translator in net.sf.tweety.logics.translators.aspfol

Modifier and Type	Class	Description
class	AspFolTranslator	This Translator can translate between FOL and ASP literals (without default negated literals).

Uses of Translator in net.sf.tweety.logics.translators.aspnlp

Subclasses of Translator in net.sf.tweety.logics.translators.aspnlp

Modifier and Type	Class	Description
class	AspNlpTranslator	Translates between DLP under the answer set semantics (ASP) and NLP.

Uses of Translator in net.sf.tweety.logics.translators.clnlp

Subclasses of Translator in net.sf.tweety.logics.translators.clnlp

Modifier and Type	Class	Description
class	ClNLPTranslator	Translates between propositional Conditionals and NLP.

Uses of Translator in net.sf.tweety.logics.translators.folprop

Subclasses of Translator in net.sf.tweety.logics.translators.folprop

Modifier and Type	Class	Description
class	FOLPropTranslator	A Translator between the FOL and propositonal logic and vice versa.