"Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR ..."

Thomas Ågotnes, Beishui Liao, Yì N. Wáng (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics