Algorithmic learning theory : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings.