Uses of Class
org.tweetyproject.logics.translators.Translator
Packages that use Translator
Package
Description
-
Uses of Translator in org.tweetyproject.logics.translators.aspfol
Subclasses of Translator in org.tweetyproject.logics.translators.aspfolModifier and TypeClassDescriptionclass
This Translator can translate between FOL and ASP literals (without default negated literals). -
Uses of Translator in org.tweetyproject.logics.translators.aspnlp
Subclasses of Translator in org.tweetyproject.logics.translators.aspnlpModifier and TypeClassDescriptionclass
Translates between DLP under the answer set semantics (ASP) and NLP. -
Uses of Translator in org.tweetyproject.logics.translators.clnlp
Subclasses of Translator in org.tweetyproject.logics.translators.clnlpModifier and TypeClassDescriptionclass
Translates between propositional Conditionals and NLP. -
Uses of Translator in org.tweetyproject.logics.translators.folprop
Subclasses of Translator in org.tweetyproject.logics.translators.folpropModifier and TypeClassDescriptionclass
A Translator between the FOL and propositonal logic and vice versa.