Algorithmic learning theory : 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014. Proceedings.