On the Equivalence Between Assumption-Based Argumentation and Logic Programming (Extended Abstract)

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.

Cite

Text

Caminada and Schulz. "On the Equivalence Between Assumption-Based Argumentation and Logic Programming (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/788

Markdown

[Caminada and Schulz. "On the Equivalence Between Assumption-Based Argumentation and Logic Programming (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/caminada2018ijcai-equivalence/) doi:10.24963/IJCAI.2018/788

BibTeX

@inproceedings{caminada2018ijcai-equivalence,
  title     = {{On the Equivalence Between Assumption-Based Argumentation and Logic Programming (Extended Abstract)}},
  author    = {Caminada, Martin and Schulz, Claudia},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {5578-5582},
  doi       = {10.24963/IJCAI.2018/788},
  url       = {https://mlanthology.org/ijcai/2018/caminada2018ijcai-equivalence/}
}