Axiomatization of Provable n-Provability.

Evgeny Kolmakov Lev Beklemishev

Published in: J. Symb. Log. (2019)

Keyphrases

greedy algorithm
situation calculus
dynamic programming
general theory
complete axiomatization
computer vision
data mining
lower bound
expert systems
high dimensional
data model
utility theory