Uses of Package
org.tweetyproject.lp.nlp.syntax
Packages that use org.tweetyproject.lp.nlp.syntax
Package
Description
-
Classes in org.tweetyproject.lp.nlp.syntax used by org.tweetyproject.logics.translators.aspnlp
-
Classes in org.tweetyproject.lp.nlp.syntax used by org.tweetyproject.logics.translators.clnlp
-
Classes in org.tweetyproject.lp.nlp.syntax used by org.tweetyproject.lp.nlp.syntaxClassDescriptionA default negation of a first order formula, nested logic programs only allow not quantified formulas.A nested logic programA rule of a nested logic program.