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