Uses of Package
org.tweetyproject.lp.nlp.syntax
Package
Description
-
ClassDescriptionRepresents a nested logic program (NLP) in the form of a set of rules.A rule of a nested logic program.
-
ClassDescriptionRepresents a nested logic program (NLP) in the form of a set of rules.A rule of a nested logic program.
-
ClassDescriptionA 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.