Uses of Package
org.tweetyproject.logics.rcl.semantics
-
Packages that use org.tweetyproject.logics.rcl.semantics Package Description org.tweetyproject.logics.rcl.reasoner -
Classes in org.tweetyproject.logics.rcl.semantics used by org.tweetyproject.logics.rcl.reasoner Class Description RelationalRankingFunction A relational ranking function (or relational ordinal conditional function, ROCF) that maps Herbrand interpretations to integers.