IJCAI 2013, 23rd International Joint Conference on Artificial Intelligence.