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