Artificial general intelligence : 13th International Conference, AGI 2020, St. Petersburg, Russia, september 16-19, 2020, proceedings.