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