The Construction of Set-Truncated Higher Inductive Types.

Niels van der Weide Herman Geuvers

Published in: MFPS (2019)

Keyphrases

small number
genetic algorithm
decision making
case study
feature space
probability distribution
np complete
inductive logic programming