Uses of Package
net.sf.tweety.lp.nlp.syntax
-
Packages that use net.sf.tweety.lp.nlp.syntax Package Description net.sf.tweety.logics.translators.aspnlp net.sf.tweety.logics.translators.clnlp net.sf.tweety.lp.nlp.syntax -
Classes in net.sf.tweety.lp.nlp.syntax used by net.sf.tweety.logics.translators.aspnlp Class Description NLPProgram A nested logic programNLPRule A rule of a nested logic program. -
Classes in net.sf.tweety.lp.nlp.syntax used by net.sf.tweety.logics.translators.clnlp Class Description NLPProgram A nested logic programNLPRule A rule of a nested logic program. -
Classes in net.sf.tweety.lp.nlp.syntax used by net.sf.tweety.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.