Reasoning with metalevel argumentation frameworks in aspartix

Nadin Kokciyan*, Isabel Sassoon, Anthony P. Young, Sanjay Modgil, Simon Parsons

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

In this demo paper, we propose an encoding for Metalevel Argumentation Frameworks (MAFs) to be used in Aspartix, an Answer Set Programming (ASP) approach to find the justified arguments of an AF. MAFs provide a uniform encoding of object level Dung Frameworks and extensions thereof that include values, preferences and attacks on attacks (EAFs). The justification status of arguments in the object level AF can then be evaluated and explained through evaluation of the arguments in the MAF. The demo includes multiple examples from the literature to show the applicability of our proposed encoding for translating various object level AFs to the uniform language of MAFs.
Original languageEnglish
Title of host publicationComputational Models of Argument - Proceedings of COMMA 2018
EditorsSanjay Modgil, Katarzyna Budzynska, John Lawrence
PublisherIOS Press
Number of pages2
ISBN (Electronic) 978-1-61499-906-5
ISBN (Print) 978-1-61499-905-8
Publication statusPublished - 14 Sept 2018
Event7th International Conference on Computational Models of Argument, COMMA 2018 - Warsaw, Poland
Duration: 12 Sept 201814 Sept 2018

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314


Conference7th International Conference on Computational Models of Argument, COMMA 2018

Keywords / Materials (for Non-textual outputs)

  • Computational argumentation
  • Metalevel argumentation frameworks


Dive into the research topics of 'Reasoning with metalevel argumentation frameworks in aspartix'. Together they form a unique fingerprint.

Cite this