Uses of Package
net.sf.tweety.logics.fol.syntax
-
-
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.description.syntax Class Description FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.query.syntax Class Description FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.signature Class Description FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.action.transitionsystem Class Description FolAtom An atom in first-order logic, i.e. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.arg.aspic.ruleformulagenerator Class Description FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.arg.delp.parser Class Description FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.arg.delp.reasoner Class Description FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.arg.delp.syntax Class Description Conjunction The classical conjunction of first-order logic.Disjunction The classical disjunction of first-order logic.FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.cl.syntax Class Description Disjunction The classical disjunction of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.dl.syntax Class Description FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.parser Class Description FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.reasoner Class Description FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.semantics Class Description FolAtom An atom in first-order logic, i.e.FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.syntax Class Description AssociativeFolFormula This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.Conjunction The classical conjunction of first-order logic.Contradiction A contradictory formula.Disjunction The classical disjunction of first-order logic.Equivalence The equivalence of first-order logic.ExclusiveDisjunction The exclusive disjunction (XOR) in first-order logic.ExistsQuantifiedFormula Exists-quantified first-order logic formula.FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language.ForallQuantifiedFormula For-All-quantified first-order logic formula.Implication The implication of first-order logic.Negation The classical negation of first-order logic.SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction.Tautology A tautological formula. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.writer Class Description FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.ml.parser Class Description FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.ml.reasoner Class Description FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.ml.semantics Class Description FolAtom An atom in first-order logic, i.e.FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.ml.syntax Class Description Conjunction The classical conjunction of first-order logic.Disjunction The classical disjunction of first-order logic.FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.mln.analysis Class Description FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.mln.examples Class Description FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.mln.reasoner Class Description FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.mln.syntax Class Description Conjunction The classical conjunction of first-order logic.Disjunction The classical disjunction of first-order logic.FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rcl.parser Class Description FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rcl.reasoner Class Description FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rcl.semantics Class Description FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rcl.syntax Class Description Conjunction The classical conjunction of first-order logic.Disjunction The classical disjunction of first-order logic.FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rdl.reasoner Class Description FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rdl.semantics Class Description FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rdl.syntax Class Description Conjunction The classical conjunction of first-order logic.Disjunction The classical disjunction of first-order logic.FolAtom An atom in first-order logic, i.e.FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.parser Class Description FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser Class Description FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser Class Description FolAtom An atom in first-order logic, i.e.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.reasoner Class Description FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.semantics Class Description FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.rpcl.syntax Class Description FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.translators.aspfol Class Description Disjunction The classical disjunction of first-order logic.FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.Negation The classical negation of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.translators.folprop Class Description Conjunction The classical conjunction of first-order logic.Disjunction The classical disjunction of first-order logic.ExclusiveDisjunction The exclusive disjunction (XOR) in first-order logic.FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.lp.asp.syntax Class Description FolAtom An atom in first-order logic, i.e.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.lp.nlp.syntax Class Description FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language.