A note on Gentzen's ordinal assignment.

Published in: Arch. Math. Log. (2019)

Keyphrases

multiscale
ordinal scale
qualitative decision theory
data mining
genetic algorithm
computer vision
metadata
user interface
description logics
horn clauses
linear time temporal logic