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.
|