Uses of Class
org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction
-
Uses of RelationalRankingFunction in org.tweetyproject.logics.rcl.reasoner
Modifier and TypeMethodDescriptionSimpleRelationalCReasoner.getModel(RclBeliefSet bbase)
SimpleRelationalCReasoner.getModel(RclBeliefSet bs, FolSignature signature)
Retrieves the C representation of the given belief set wrt.