Uses of Package
org.tweetyproject.lp.nlp.syntax
Package
Description
-
-
-
ClassDescriptionA default negation of a first order formula, nested logic programs only allow not quantified formulas.A nested logic programA rule of a nested logic program.