Argumentation: updated preferred encoding
Argumentation: updated admissible encoding
Argumentation: updated complete encoding
Argumentation: updated stable encoding
Argumentation: minor tuning admissible, preferred