On the equivalence between assumption-based argumentation and logic programming
- Submitting institution
-
Cardiff University / Prifysgol Caerdydd
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 96801079
- Type
- D - Journal article
- DOI
-
10.1613/jair.5581
- Title of journal
- Journal of Artificial Intelligence Research
- Article number
- -
- First page
- 779
- Volume
- 60
- Issue
- -
- ISSN
- 1076-9757
- Open access status
- Compliant
- Month of publication
- December
- Year of publication
- 2017
- URL
-
https://doi.org/10.1613/jair.5581
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
A - Artificial intelligence and data analytics
- Citation count
- 5
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper shows that Assumption-Based Argumentation (ABA, one of the most popular theories for formal argumentation) can be translated into a Logic Program and vice versa, while preserving the semantics. The obtained equivalence makes it possible to apply proof procedures and implementations from one formalism to the other formalism. The theory of this paper has been adopted by scholars (such as Sá and Alcântara, https://dl.acm.org/doi/abs/10.1145/3297280.3297392) as the basis of their own work. The paper was presented at IJCAI 2018 (https://www.ijcai.org/Proceedings/2018/0788.pdf) on invitation by the conference organisers.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -