Algorithmic decision theory : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings.