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

Comparing logic programming and formal argumentation; the case of ideal and eager semantics

Caminada, Martin ORCID:, Harikrishnan, Sri and Sá, Samy 2022. Comparing logic programming and formal argumentation; the case of ideal and eager semantics. Argument and Computation 13 (1) , pp. 93-120. 10.3233/AAC-200528

[thumbnail of aac_2022_13-1_aac-13-1-aac200528_aac-13-aac200528.pdf]
PDF - Published Version
Available under License Creative Commons Attribution Non-commercial.

Download (258kB) | Preview


The connection between logic programming and formal argumentation has been studied starting from the landmark 1995 paper of Dung. Subsequent work has identified a standard translation from logic programs to (instantiated) argumentation frameworks, under which pairwise correspondences hold between various logic programming semantics and various formal argumentation semantics. This includes the correspondence between 3-valued stable and complete semantics, between well-founded and grounded semantics and between 2-valued stable (LP) and stable (argumentation) semantics. In the current paper, we show that the existing translation is able to yield the additional correspondence between ideal semantics for logic programming and ideal semantics for formal argumentation. We also show that correspondence does not hold between eager semantics for logic programming and eager semantics for formal argumentation, at least when translating from logic programming to formal argumentation. Overall, the current work should be seen as completing the analysis of correspondences between mainstream admissibility-based argumentation semantics and their logic programming counterparts.

Item Type: Article
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Additional Information: This is an Open Access article distributed under the terms of the Creative Commons Attribution-NonCommercial License (CC BY-NC 4.0).
Publisher: Taylor & Francis/IOS Press
ISSN: 1946-2166
Date of First Compliant Deposit: 9 November 2020
Date of Acceptance: 27 October 2020
Last Modified: 09 Nov 2022 09:35

Citation Data

Cited 1 time 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