The strength of sharply bounded induction requires MSP.

Sedki Boughattas Leszek Aleksander Kolodziejczyk

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

real world
program synthesis
database
databases
machine learning
information retrieval
learning algorithm
video sequences
digital libraries
explanation based learning