Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Minimal strong admissibility: a complexity analysis

Caminada, Martin and Dunne, Paul E. 2020. Minimal strong admissibility: a complexity analysis. Presented at: 8th International Conference on Computational Models of Argument (COMMA 2020), Perugia, Italy, 4-11 September 2020.

[img]
Preview
PDF - Accepted Post-Print Version
Download (288kB) | Preview

Abstract

The concept of strong admissibility plays an important rolein some of the dialectical proof procedures that have been stated forgrounded semantics. As the grounded extension is the (unique) biggeststrongly admissible set, to show that an argument is in the groundedextension it suffices to show that it is in a strongly admissible set. Weare interested in identifying a strongly admissible set that minimizes thenumber of steps needed in the associated dialectical proof procedure. Inthe current work, we look at the computational complexity of doing so.

Item Type: Conference or Workshop Item (Paper)
Status: In Press
Schools: Computer Science & Informatics
Date of First Compliant Deposit: 10 July 2020
Date of Acceptance: 8 July 2020
Last Modified: 16 Jul 2020 13:00
URI: http://orca.cf.ac.uk/id/eprint/133330

Actions (repository staff only)

Edit Item Edit Item

Downloads

Downloads per month over past year

View more statistics