Exhaustible Sets in Higher-type Computation.

Martín Hötzel Escardó

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

multi agent
special case
higher quality
real time
machine learning
learning algorithm
knowledge base
lower bound
relational databases
multiresolution
set theoretic
efficiently computing