| Package | Description |
|---|---|
| net.sf.tweety.logics.rcl.reasoner |
| Class and Description |
|---|
| RelationalRankingFunction
A relational ranking function (or relational ordinal conditional function, ROCF) that maps
Herbrand interpretations to integers.
|
Copyright © 2019. All rights reserved.