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

Minimal strong admissibility: a complexity analysis

Caminada, Martin ORCID: 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.

[thumbnail of Caminada_minimal_str_adm_COMMA.pdf]
PDF - Accepted Post-Print Version
Download (288kB) | Preview


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: 20 Nov 2023 06:04

Citation Data

Cited 4 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item


Downloads per month over past year

View more statistics