Uses of Package
org.tweetyproject.logics.pl.syntax
-
-
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.action.query.syntax Class Description PlFormula This class represents the common ancestor for propositional formulae.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.agents.dialogues Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.agents.dialogues.oppmodels Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.agents.dialogues.structured Class Description Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.aspic.ruleformulagenerator Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.aspic.util Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.deductive.reasoner Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.deductive.semantics Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.deductive.syntax Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.dung.ldo.syntax Class Description PlPredicate A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.dung.reasoner Class Description PlBeliefSet This class represents a knowledge base of propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.saf.reasoner Class Description Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.saf.syntax Class Description PlSignature This class captures the signature of a specific propositional language.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.beliefdynamics.mas Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.beliefdynamics.operators Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.beliefdynamics.selectiverevision.argumentative Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.cl.examples Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.cl.reasoner Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.cl.semantics Class Description PlFormula This class represents the common ancestor for propositional formulae.PlSignature This class captures the signature of a specific propositional language.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.cl.syntax Class Description Conjunction This class represents a conjunction in propositional logic.PlFormula This class represents the common ancestor for propositional formulae.PlSignature This class captures the signature of a specific propositional language.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pcl.reasoner Class Description PlFormula This class represents the common ancestor for propositional formulae.PlSignature This class captures the signature of a specific propositional language. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pcl.semantics Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pcl.syntax Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pl.analysis Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pl.parser Class Description Disjunction This class represents a disjunction in propositional logic.PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae.PlSignature This class captures the signature of a specific propositional language. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pl.postulates Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pl.reasoner Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pl.sat Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pl.semantics Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae.PlSignature This class captures the signature of a specific propositional language.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pl.syntax Class Description AssociativePlFormula This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.CardinalityConstraint This class represents a cardinality constraint, i.e.Conjunction This class represents a conjunction in propositional logic.Contradiction A contradictory formula.Disjunction This class represents a disjunction in propositional logic.Equivalence This class models equivalence of propositional logic.ExclusiveDisjunction This class represents an exclusive disjunction (XOR) in propositional logic.Implication This class models the implication of propositional logic.PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae.PlPredicate A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.PlSignature This class captures the signature of a specific propositional language.Proposition This class represents a simple proposition in propositional logic.SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction.Tautology A tautological formula. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pl.util Class Description Disjunction This class represents a disjunction in propositional logic.PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae.PlSignature This class captures the signature of a specific propositional language. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.pl.writer Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.qbf.parser Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.qbf.reasoner Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.qbf.semantics Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae.PlSignature This class captures the signature of a specific propositional language.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.qbf.syntax Class Description Conjunction This class represents a conjunction in propositional logic.PlFormula This class represents the common ancestor for propositional formulae.PlPredicate A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.PlSignature This class captures the signature of a specific propositional language.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.qbf.writer Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.translators.folprop Class Description Conjunction This class represents a conjunction in propositional logic.Disjunction This class represents a disjunction in propositional logic.ExclusiveDisjunction This class represents an exclusive disjunction (XOR) in propositional logic.PlFormula This class represents the common ancestor for propositional formulae.Proposition This class represents a simple proposition in propositional logic. -
Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.web.services Class Description PlFormula This class represents the common ancestor for propositional formulae.