On the Equivalence between Logic Programming Semantics and Argumentation Semantics

Martinus Wigbertus Antonius Caminada, Samy Sá, João Alcântara

Research output: Working paper

8 Citations (Scopus)
4 Downloads (Pure)

Abstract

In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to provide a formal connection between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics.
Original languageEnglish
Place of PublicationAberdeen
PublisherUniversity of Aberdeen
Number of pages34
VolumeABDN–CS–13–01
Publication statusPublished - 18 Mar 2013

Fingerprint Dive into the research topics of 'On the Equivalence between Logic Programming Semantics and Argumentation Semantics'. Together they form a unique fingerprint.

  • Cite this

    Caminada, M. W. A., Sá, S., & Alcântara, J. (2013). On the Equivalence between Logic Programming Semantics and Argumentation Semantics. University of Aberdeen.