Uses of Package
net.sf.tweety.logics.pl.syntax
-
-
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.agents.dialogues Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.agents.dialogues.structured Class Description Proposition This class represents a simple proposition in propositional logic. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.adf.reasoner.sat.encodings Class Description Disjunction This class represents a disjunction in propositional logic.Proposition This class represents a simple proposition in propositional logic. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.adf.sat 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.Proposition This class represents a simple proposition in propositional logic. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.adf.semantics.interpretation Class Description PlBeliefSet This class represents a knowledge base of propositional formulae.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.adf.transform Class Description Proposition This class represents a simple proposition in propositional logic. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.adf.transform.processor Class Description Disjunction This class represents a disjunction in propositional logic. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.adf.util Class Description Conjunction This class represents a conjunction in propositional logic.Disjunction This class represents a disjunction in propositional logic.PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.aspic.ruleformulagenerator Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.aspic.util Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.deductive.reasoner Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.dung.reasoner Class Description PlBeliefSet This class represents a knowledge base of propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.saf.reasoner Class Description Proposition This class represents a simple proposition in propositional logic. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.beliefdynamics.mas Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.beliefdynamics.operators Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.cl.reasoner Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pcl.syntax Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.analysis Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.postulates Class Description PlFormula This class represents the common ancestor for propositional formulae. -
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.syntax Class Description AssociativePlFormula This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.pl.syntax used by net.sf.tweety.web.services Class Description PlFormula This class represents the common ancestor for propositional formulae.