Package org.tweetyproject.logics.rcl.semantics


package org.tweetyproject.logics.rcl.semantics
  • Classes
    Class
    Description
    A relational ranking function (or relational ordinal conditional function, ROCF) that maps Herbrand interpretations to integers.