Uses of Package
org.tweetyproject.logics.commons.syntax
Packages that use org.tweetyproject.logics.commons.syntax
Package
Description
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.action.grounding
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.action.grounding.parserClassDescriptionA Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.action.query.syntaxClassDescriptionA Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.action.signatureClassDescriptionA general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.A sort of first-order logic.The abstract parent for predicates and functors implementing the TypedStructure interface.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.arg.aba.syntaxClassDescriptionA Constant represents an constant object in the world of a logical language.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.arg.aspic.syntaxClassDescriptionA Constant represents an constant object in the world of a logical language.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.arg.delp.syntaxClassDescriptionA Constant represents an constant object in the world of a logical language.A functor for logic language, i.e.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.This is the abstract base class for relational formulas, i.e.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.arg.dung.ldo.syntaxClassDescriptionThis interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.cl.syntaxClassDescriptionA general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.commons.syntaxClassDescriptionThis class provides common implementation for associative formulas that are formulas which consists of several other formulas.This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.A Constant represents an constant object in the world of a logical language.A functional term in a logic language, i.e.A functor for logic language, i.e.This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.This is the abstract base class for relational formulas, i.e.A sort of first-order logic.This class represents terms which are objects identified by a string.Abstract base class implementing the substitute(), getSort(), getTerms(), and containsTermsOfType() methods in a way it is useful for terms.The abstract parent for predicates and functors implementing the TypedStructure interface.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.commons.syntax.interfacesClassDescriptionA general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.A sort of first-order logic.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.dl.syntaxClassDescriptionThis interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.A Constant represents an constant object in the world of a logical language.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.This class represents terms which are objects identified by a string.Abstract base class implementing the substitute(), getSort(), getTerms(), and containsTermsOfType() methods in a way it is useful for terms.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.fol.parserClassDescriptionA Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.fol.semanticsClassDescriptionA Constant represents an constant object in the world of a logical language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.fol.syntaxClassDescriptionThis interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.A Constant represents an constant object in the world of a logical language.A functional term in a logic language, i.e.A functor for logic language, i.e.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.This is the abstract base class for relational formulas, i.e.A sort of first-order logic.The abstract parent for predicates and functors implementing the TypedStructure interface.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.fol.writer
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.ml.parser
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.ml.semanticsClassDescriptionA Constant represents an constant object in the world of a logical language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.ml.syntaxClassDescriptionA functor for logic language, i.e.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.This is the abstract base class for relational formulas, i.e.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.ml.writer
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.mln.syntaxClassDescriptionA functor for logic language, i.e.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.This is the abstract base class for relational formulas, i.e.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.pl.syntaxClassDescriptionThis interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.A sort of first-order logic.The abstract parent for predicates and functors implementing the TypedStructure interface.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rcl.syntaxClassDescriptionA functor for logic language, i.e.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.This is the abstract base class for relational formulas, i.e.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rdl.syntaxClassDescriptionA functor for logic language, i.e.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.This is the abstract base class for relational formulas, i.e.A Variable is a placeholder for Constants in a generic formula of a logic language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparserClassDescriptionA Constant represents an constant object in the world of a logical language.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rpcl.semanticsClassDescriptionA Constant represents an constant object in the world of a logical language.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rpcl.syntaxClassDescriptionA Constant represents an constant object in the world of a logical language.This is the abstract base class for relational formulas, i.e.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.translatorsClassDescriptionA general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.lp.asp.syntaxClassDescriptionThis interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.Abstract base class implementing the substitute(), getSort(), getTerms(), and containsTermsOfType() methods in a way it is useful for terms.The abstract parent for predicates and functors implementing the TypedStructure interface.
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.lp.nlp.syntaxClassDescriptionAbstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.A functor for logic language, i.e.A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.This is the abstract base class for relational formulas, i.e.A Variable is a placeholder for Constants in a generic formula of a logic language.