Type-two well-ordering principles, admissible sets, and $\Pi _1^1$ -comprehension.

Published in: Bull. Symb. Log. (2018)

Keyphrases

decision making
expert systems
database
data sets
databases
real world
search engine
website
reinforcement learning
state space
theoretical framework
definite clause