Computational Logic and Argumentation Group