-enumeration degrees is undecidable.

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

Keyphrases

sufficient conditions
search space
np complete
knowledge base
data sets
databases
reinforcement learning
lower bound
np hard
dynamic programming
expressive power