On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head
<|reference_start|>On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head: 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.<|reference_end|>
@article{rapberger2024on,
    title={On the Correspondence of Non-flat Assumption-based Argumentation and
  Logic Programming with Negation as Failure in the Head},
    author={Anna Rapberger, Markus Ulbricht, Francesca Toni},
    journal={arXiv preprint arXiv:2405.09415},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.09415},
    primaryClass={cs.AI}
}