Package net.sf.tweety.logics.translators.aspfol
-
Class Summary Class Description AspFolTranslator This Translator can translate between FOL and ASP literals (without default negated literals).ASPFOLTranslatorTest
Class | Description |
---|---|
AspFolTranslator |
This Translator can translate between FOL and ASP literals (without default
negated literals).
|
ASPFOLTranslatorTest |