Uses of Package
net.sf.tweety.logics.translators
-
Classes in net.sf.tweety.logics.translators used by net.sf.tweety.logics.translators.aspfol Class Description Translator Allows translation between different logic languages, sub classes have to implement the translation between complex formulas but this base class provides methods to translate, predicates, Atoms, Associative formulas and Rules. -
Classes in net.sf.tweety.logics.translators used by net.sf.tweety.logics.translators.aspnlp Class Description Translator Allows translation between different logic languages, sub classes have to implement the translation between complex formulas but this base class provides methods to translate, predicates, Atoms, Associative formulas and Rules. -
Classes in net.sf.tweety.logics.translators used by net.sf.tweety.logics.translators.clnlp Class Description Translator Allows translation between different logic languages, sub classes have to implement the translation between complex formulas but this base class provides methods to translate, predicates, Atoms, Associative formulas and Rules. -
Classes in net.sf.tweety.logics.translators used by net.sf.tweety.logics.translators.folprop Class Description Translator Allows translation between different logic languages, sub classes have to implement the translation between complex formulas but this base class provides methods to translate, predicates, Atoms, Associative formulas and Rules.