Uses of Package
net.sf.tweety.logics.pl.syntax
-
-
Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.action.query.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.action.query.parser 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.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 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.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.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.arg.adf.util 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.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.PlSignature This class captures the signature of a specific propositional language. -
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.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.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.cl.test 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.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.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.analysis 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.SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction. -
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.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.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.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.test 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.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.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.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.translators.folprop 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.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.PlSignature This class captures the signature of a specific propositional language.