| 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. 
 |