In this section
@inproceedings{Rapberger:2024,
author = {Rapberger, A and Ulbricht, M and Toni, F},
publisher = {CEUR Workshop Proceedings},
title = {On the correspondence of non-flat assumption-based argumentation and logic programming with negation as failure in the head},
url = {http://hdl.handle.net/10044/1/114929},
year = {2024}
}
TY - CPAPER
AB - The relation between (a fragment of) assumption-based argumentation (ABA) and logic programs (LPs) under stable model semantics is well-studied. However, for obtaining this relation, the ABA framework needs to be restricted to being flat, i.e., a fragment where the (defeasible) assumptions can never be entailed, only assumed to be true or false. Here, we remove this restriction and show a correspondence between non-flat ABA and LPs with negation as failure in their head. We then extend this result to so-called set-stable ABA semantics, originally defined for the fragment of non-flat ABA called bipolar ABA. We showcase how to define set-stable semantics for LPs with negation as failure in their head and show the correspondence to set-stable ABA semantics.
AU - Rapberger,A
AU - Ulbricht,M
AU - Toni,F
PB - CEUR Workshop Proceedings
PY - 2024///
SN - 1613-0073
TI - On the correspondence of non-flat assumption-based argumentation and logic programming with negation as failure in the head
UR - http://hdl.handle.net/10044/1/114929
ER -