Multi Attack Argumentation Framework

Please write your own ASP

Example:
% Main domain predicates definitions
argument(a;b;c;d).

attacks(a,b, conflict).
attacks(a,c, conflict).
attacks(a,b, defending).
attacks(b,c, defending).
attacks(d,a, defending).

Notice, instead of characters you can use numbers!

What problem do you want me to solve?

Find all the extensions of some type.
Find only one extension of some type.

What extension do you want me to find?

conflict free (cf).
admissible (a).
complete (co).
grounded (gr).
preferred (pr).
stable (st).

Taking input from the user

Number of arguments (A): Any Number

Attacks between Arguments (R): Example: a0-a1-type,...,a1-a0-type'. The arguments should be in the form ai for i=1,...n, and the type = cf,def,no

What problem do you want me to solve?

Find all the extensions of some type.
Find only one extension of some type.

Note: The format must be as shown in the example!!

What extension do you want me to find?

conflict free (cf).
admissible (a).
complete (co).
grounded (gr).
preferred (pr).
stable (st).