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

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

Package	Description
org.tweetyproject.arg.dung.learning.util
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.pcl.reasoner
org.tweetyproject.logics.pcl.util
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.logics.qbf.syntax
org.tweetyproject.logics.translators.adfconditional
org.tweetyproject.logics.translators.adfpossibilistic
org.tweetyproject.logics.translators.adfrevision

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.arg.dung.learning.util

Class	Description
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.cl.semantics

Class	Description
NicePossibleWorld	Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.pcl.reasoner

Class	Description
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.pcl.util

Class	Description
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.pl.analysis

Class	Description
FuzzyInterpretation	A fuzzy interpretation for propositional logic.
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.pl.semantics

Class	Description
NicePossibleWorld	Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.
PossibleWorld	This class represents a possible world of propositional logic, i.e.
PriestWorld	A three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.
PriestWorld.TruthValue	The three truth values.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.pl.syntax

Class	Description
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.qbf.semantics

Class	Description
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.qbf.syntax

Class	Description
PossibleWorld	This class represents a possible world of propositional logic, i.e.

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

Class	Description
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.translators.adfpossibilistic

Class	Description
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in org.tweetyproject.logics.pl.semantics used by org.tweetyproject.logics.translators.adfrevision

Class	Description
PossibleWorld	This class represents a possible world of propositional logic, i.e.