Package net.sf.tweety.logics.rcl.semantics
-
Class Summary Class Description RelationalRankingFunction A relational ranking function (or relational ordinal conditional function, ROCF) that maps Herbrand interpretations to integers.
Class | Description |
---|---|
RelationalRankingFunction |
A relational ranking function (or relational ordinal conditional function, ROCF) that maps
Herbrand interpretations to integers.
|