Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence - Volume Four - pocket, Engelsk, 2017