Rules and Reasoning 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings Gutiérrez-Basulto, Víctor Heftet / 2020 / Engelsk