Uses of Package
org.tweetyproject.logics.fol.syntax
Packages that use org.tweetyproject.logics.fol.syntax
Package
Description
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.action.description.syntaxClassDescriptionAn atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.action.query.syntaxClassDescriptionAn atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.action.signatureClassDescriptionAn atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.action.transitionsystem
-
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.arg.delp.parserClassDescriptionAn atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.arg.delp.reasoner
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.arg.delp.syntaxClassDescriptionThe classical conjunction of first-order logic.The classical disjunction of first-order logic.An atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.cl.syntax
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.dl.syntaxClassDescriptionThis class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.fol.parserClassDescriptionThis class models a first-order knowledge base, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.fol.reasonerClassDescriptionThis class models a first-order knowledge base, i.e.The common abstract class for formulas of first-order logic.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.fol.semanticsClassDescriptionAn atom in first-order logic, i.e.This class models a first-order knowledge base, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.fol.syntaxClassDescriptionThis class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.The classical conjunction of first-order logic.A contradictory formula.The classical disjunction of first-order logic.The equivalence of first-order logic.The exclusive disjunction (XOR) in first-order logic.Exists-quantified first-order logic formula.An atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.For-All-quantified first-order logic formula.The implication of first-order logic.The classical negation of first-order logic.This class captures the common functionalities of the special formulas tautology and contradiction.A tautological formula.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.fol.writerClassDescriptionThis class models a first-order knowledge base, i.e.The common abstract class for formulas of first-order logic.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.ml.parserClassDescriptionThis class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.ml.reasoner
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.ml.semanticsClassDescriptionAn atom in first-order logic, i.e.This class models a first-order knowledge base, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.ml.syntaxClassDescriptionThe classical conjunction of first-order logic.The classical disjunction of first-order logic.An atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.mln.analysisClassDescriptionThis class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.mln.examplesClassDescriptionThis class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.mln.reasonerClassDescriptionThe common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.mln.syntaxClassDescriptionThe classical conjunction of first-order logic.The classical disjunction of first-order logic.An atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rcl.parserClassDescriptionThis class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rcl.reasonerClassDescriptionThe common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rcl.semanticsClassDescriptionThe common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rcl.syntaxClassDescriptionThe classical conjunction of first-order logic.The classical disjunction of first-order logic.An atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rdl.reasoner
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rdl.semantics
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rdl.syntaxClassDescriptionThe classical conjunction of first-order logic.The classical disjunction of first-order logic.An atom in first-order logic, i.e.This class models a first-order knowledge base, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rpcl.parserClassDescriptionThis class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparserClassDescriptionThis class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparserClassDescriptionAn atom in first-order logic, i.e.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rpcl.reasonerClassDescriptionThe common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rpcl.semanticsClassDescriptionThis class models a first-order knowledge base, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.rpcl.syntaxClassDescriptionThe common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.translators.aspfolClassDescriptionThe classical disjunction of first-order logic.An atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.The classical negation of first-order logic.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.logics.translators.folpropClassDescriptionThe classical conjunction of first-order logic.The classical disjunction of first-order logic.The exclusive disjunction (XOR) in first-order logic.An atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.lp.asp.syntaxClassDescriptionAn atom in first-order logic, i.e.This class captures the signature of a specific first-order language.
-
Classes in org.tweetyproject.logics.fol.syntax used by org.tweetyproject.lp.nlp.syntaxClassDescriptionAn atom in first-order logic, i.e.The common abstract class for formulas of first-order logic.This class captures the signature of a specific first-order language.