Topics Related to Argumentation, Deep Learning and Formal Sciences: