Αποστολή με SMS: Theory and Applications of Formal Argumentation