Uses of Package
org.tweetyproject.logics.cl.semantics
Packages that use org.tweetyproject.logics.cl.semantics
Package
Description
-
Classes in org.tweetyproject.logics.cl.semantics used by org.tweetyproject.logics.cl.kappaClassDescriptionRepresents 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 org.tweetyproject.logics.cl.semantics used by org.tweetyproject.logics.cl.reasonerClassDescriptionRepresents 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.A ranking function (or ordinal conditional function, OCF) that maps possible worlds of a propositional language to integers.
-
Classes in org.tweetyproject.logics.cl.semantics used by org.tweetyproject.logics.cl.rulesClassDescriptionRepresents 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 org.tweetyproject.logics.cl.semantics used by org.tweetyproject.logics.cl.semanticsClassDescriptionThe possible values of a conditional for a possible world
-
Classes in org.tweetyproject.logics.cl.semantics used by org.tweetyproject.logics.translators.adfclClassDescriptionA ranking function (or ordinal conditional function, OCF) that maps possible worlds of a propositional language to integers.