[logic-ml] The 3rd International Conference on Logic and Argumentation CLAR 2020, 6-9 April 2020, Hangzhou, China