Uses of Package
net.sf.tweety.logics.cl.semantics

Packages that use net.sf.tweety.logics.cl.semantics

Package	Description
net.sf.tweety.logics.cl
net.sf.tweety.logics.cl.kappa
net.sf.tweety.logics.cl.rules
net.sf.tweety.logics.cl.semantics

Classes in net.sf.tweety.logics.cl.semantics used by net.sf.tweety.logics.cl

Class and Description
ConditionalStructure Represents a conditional structure as introduced in Section 3.5 "Conditionals in Nonmonotonic Reasoning and Belief Revision" of Gabrielle Kern-Isberner Internally it saves the data to two nested Maps.
RankingFunction A ranking function (or ordinal conditional function, OCF) that maps possible worlds of a propositional language to integers.

Classes in net.sf.tweety.logics.cl.semantics used by net.sf.tweety.logics.cl.kappa

Class and Description
ConditionalStructure Represents a conditional structure as introduced in Section 3.5 "Conditionals in Nonmonotonic Reasoning and Belief Revision" of Gabrielle Kern-Isberner Internally it saves the data to two nested Maps.

Classes in net.sf.tweety.logics.cl.semantics used by net.sf.tweety.logics.cl.rules

Class and Description
ConditionalStructure Represents a conditional structure as introduced in Section 3.5 "Conditionals in Nonmonotonic Reasoning and Belief Revision" of Gabrielle Kern-Isberner Internally it saves the data to two nested Maps.

Classes in net.sf.tweety.logics.cl.semantics used by net.sf.tweety.logics.cl.semantics

Class and Description
ConditionalStructure.Generator The possible values of a conditional for a possible world