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