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 |
Modifier and Type | Class and Description |
---|---|
class |
AspFolTranslator
This Translator can translate between FOL and ASP literals (without default
negated literals).
|
Modifier and Type | Class and Description |
---|---|
class |
AspNlpTranslator
Translates between DLP under the answer set semantics (ASP) and NLP.
|
Modifier and Type | Class and Description |
---|---|
class |
ClNLPTranslator
Translates between propositional Conditionals and NLP.
|
Modifier and Type | Class and Description |
---|---|
class |
FOLPropTranslator
A Translator between the FOL and propositonal logic and vice versa.
|