Artificial intelligence XXXVII 40th SGAI international conference on artificial intelligence, AI 2020, Cambridge, UK, December 15-17, 2020 : proceedings - Bramer, Max A. 1948- (Springer, 2020)