| Package | Description |
|---|---|
| net.sf.tweety.logics.translators.clnlp | |
| net.sf.tweety.logics.translators.folprop |
| Class and Description |
|---|
| FOLPropTranslator
A Translator between the FOL and propositonal logic and vice versa.
|
| Class and Description |
|---|
| FOLPropTranslator
A Translator between the FOL and propositonal logic and vice versa.
|