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.