ByNobleID
    A semantic approach to nonmonotonic reasoning: Inference operations and choice | NobleID