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 and Description
NLPProgram A nested logic program
NLPRule A rule of a nested logic program.

Classes in net.sf.tweety.lp.nlp.syntax used by net.sf.tweety.logics.translators.clnlp

Class and Description
NLPProgram A nested logic program
NLPRule A rule of a nested logic program.

Classes in net.sf.tweety.lp.nlp.syntax used by net.sf.tweety.lp.nlp.syntax

Class and Description
NLPNot A default negation of a first order formula, nested logic programs only allow not quantified formulas.
NLPProgram A nested logic program
NLPRule A rule of a nested logic program.