in: Induction, Algorithmic Learning Theory, and Philosophy, Springer Journal uri icon