Overview of Development

MARGO is implemented with Prolog and Java. In order to compute admissible arguments in our argumentation framework, we have translated our argumentation framework into an assumption-based argumentation framework. We have developed a CaSAPI meta-interpreter to relax the goals achievements in the priority order and to make suppositions in order to compute the admissible semantics in our concrete argumentation framework and used some instances of CaSAPI to compute it.

Publications directly concerning MARGO and its applications