Uses of Package
net.sf.tweety.logics.translators.folprop
-
Packages that use net.sf.tweety.logics.translators.folprop Package Description net.sf.tweety.logics.translators.clnlp net.sf.tweety.logics.translators.folprop -
Classes in net.sf.tweety.logics.translators.folprop used by net.sf.tweety.logics.translators.clnlp Class Description FOLPropTranslator A Translator between the FOL and propositonal logic and vice versa. -
Classes in net.sf.tweety.logics.translators.folprop used by net.sf.tweety.logics.translators.folprop Class Description FOLPropTranslator A Translator between the FOL and propositonal logic and vice versa.