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.aspnlpClassDescriptionRepresents a nested logic program (NLP) in the form of a set of rules.A rule of a nested logic program.
-
Classes in org.tweetyproject.lp.nlp.syntax used by org.tweetyproject.logics.translators.clnlpClassDescriptionRepresents a nested logic program (NLP) in the form of a set of rules.A rule of a nested logic program.
-
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.Represents a nested logic program (NLP) in the form of a set of rules.A rule of a nested logic program.