Uses of Package
org.tweetyproject.logics.pl.syntax

Packages that use org.tweetyproject.logics.pl.syntax

Package	Description
org.tweetyproject.action.query.syntax
org.tweetyproject.agents.dialogues
org.tweetyproject.agents.dialogues.oppmodels
org.tweetyproject.agents.dialogues.structured
org.tweetyproject.arg.aspic.ruleformulagenerator
org.tweetyproject.arg.aspic.util
org.tweetyproject.arg.deductive.reasoner
org.tweetyproject.arg.deductive.semantics
org.tweetyproject.arg.deductive.syntax
org.tweetyproject.arg.dung.ldo.syntax
org.tweetyproject.arg.dung.learning.syntax
org.tweetyproject.arg.dung.learning.util
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.saf.reasoner
org.tweetyproject.arg.saf.syntax
org.tweetyproject.beliefdynamics.mas
org.tweetyproject.beliefdynamics.operators
org.tweetyproject.beliefdynamics.selectiverevision.argumentative
org.tweetyproject.logics.cl.reasoner
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.pcl.reasoner
org.tweetyproject.logics.pcl.semantics
org.tweetyproject.logics.pcl.syntax
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.parser
org.tweetyproject.logics.pl.postulates
org.tweetyproject.logics.pl.reasoner
org.tweetyproject.logics.pl.sat
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.pl.util
org.tweetyproject.logics.pl.writer
org.tweetyproject.logics.qbf.parser
org.tweetyproject.logics.qbf.reasoner
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.logics.qbf.syntax
org.tweetyproject.logics.qbf.writer
org.tweetyproject.logics.translators.adfcl
org.tweetyproject.logics.translators.adfconditional
org.tweetyproject.logics.translators.adfpossibilistic
org.tweetyproject.logics.translators.adfrevision
org.tweetyproject.logics.translators.folprop
org.tweetyproject.web.services

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.learning.syntax

Class	Description
AssociativePlFormula	This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
PlFormula	This class represents the common ancestor for propositional formulae.

Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.arg.dung.learning.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.

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.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.
Proposition	This class represents a simple proposition in propositional logic.

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.
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
Conjunction	This class represents a conjunction in propositional logic.
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 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.adfcl

Class	Description
PlFormula	This class represents the common ancestor for propositional formulae.

Classes in org.tweetyproject.logics.pl.syntax used by org.tweetyproject.logics.translators.adfconditional

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.translators.adfpossibilistic

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.translators.adfrevision

Class	Description
Conjunction	This class represents a conjunction in 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.

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.