Marcus Hutter: Universal Learning Theory. Encyclopedia of Machine Learning and Data Mining 2017: 1295-1304