On the equivalence between assumption-based argumentation and logic programming (extended abstract)

Caminada, Martin ORCID: https://orcid.org/0000-0002-7498-0238 and Schulz, Claudia 2018. On the equivalence between assumption-based argumentation and logic programming (extended abstract). Presented at: IJCAI-ECAI-18, Stockholm, 13-19 July 2018.

Preview

PDF - Published Version Download (112kB) | Preview

Abstract

In this work, we explain how Assumption-Based Argumentation (ABA) is subsumed by Logic Programming (LP). The translation from ABA to LP (with a few restrictions on the ABA framework) results in a normal logic program whose semantics coincide with the semantics of the underlying ABA framework. Although the precise technicalities are beyond the current extended abstract (these can be found in the associated full paper) we provide a number of examples to illustrate the general idea.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Completion
Status:	Unpublished
Schools:	Computer Science & Informatics
Additional Information:	IJCAI-ECAI 2018, the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence This paper is an extended abstract of an article in the Journal of Artificial Intelligence Research [Caminada and Schulz, 2017] https://doi.org/10.1613/jair.5581
Related URLs:	http://www.ijcai-18.org/
Date of First Compliant Deposit:	12 June 2018
Last Modified:	23 Oct 2022 13:41
URI:	https://orca.cardiff.ac.uk/id/eprint/111444

Actions (repository staff only)

Edit Item