Algorithmic learning theory : 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings.