Second Chinese Conference on Logic and Argumentation (CLAR 2018)