Added argumentation encodings

for stable complete admissible and preferred semantics.