Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming

Victor Hugo Nascimento Rocha; Fabio Gagliardi Cozman

Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming

Victor Hugo Nascimento Rocha, Fabio Gagliardi Cozman

Resultado de la investigación: Contribución a una revista › Artículo de la conferencia › revisión exhaustiva

Resumen

We introduce a formalism for bipolar argumentation frameworks that combines different proposals from the literature and results in a one-to-one correspondence with logic programming. We derive the correspondence by presenting translation algorithms from one formalism to the other and by evaluating the semantic equivalences between them. We also show that the bipolar model encapsulates distinct interpretations of the support relations studied the literature.

Idioma original	Inglés
Páginas (desde-hasta)	49-60
Número de páginas	12
Publicación	CEUR Workshop Proceedings
Volumen	3197
Estado	Publicada - 2022
Publicado de forma externa	Sí
Evento	20th International Workshop on Non-Monotonic Reasoning, NMR 2022 - Haifa, Israel Duración: 7 ago. 2022 → 9 ago. 2022

Otros archivos y enlaces

Enlace a la publicación en Scopus

Citar esto

@article{afe9ccb8723644908cf34faf1fa41181,

title = "Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming",

abstract = "We introduce a formalism for bipolar argumentation frameworks that combines different proposals from the literature and results in a one-to-one correspondence with logic programming. We derive the correspondence by presenting translation algorithms from one formalism to the other and by evaluating the semantic equivalences between them. We also show that the bipolar model encapsulates distinct interpretations of the support relations studied the literature.",

keywords = "Argumentation, Bipolar Argumentation, Logic Programming",

author = "Rocha, {Victor Hugo Nascimento} and Cozman, {Fabio Gagliardi}",

note = "Publisher Copyright: {\textcopyright} 2022 Copyright for this paper by its authors.; null ; Conference date: 07-08-2022 Through 09-08-2022",

year = "2022",

language = "Ingl{\'e}s",

volume = "3197",

pages = "49--60",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - Bipolar Argumentation Frameworks with Explicit Conclusions

AU - Rocha, Victor Hugo Nascimento

AU - Cozman, Fabio Gagliardi

PY - 2022

Y1 - 2022

N2 - We introduce a formalism for bipolar argumentation frameworks that combines different proposals from the literature and results in a one-to-one correspondence with logic programming. We derive the correspondence by presenting translation algorithms from one formalism to the other and by evaluating the semantic equivalences between them. We also show that the bipolar model encapsulates distinct interpretations of the support relations studied the literature.

AB - We introduce a formalism for bipolar argumentation frameworks that combines different proposals from the literature and results in a one-to-one correspondence with logic programming. We derive the correspondence by presenting translation algorithms from one formalism to the other and by evaluating the semantic equivalences between them. We also show that the bipolar model encapsulates distinct interpretations of the support relations studied the literature.

KW - Argumentation

KW - Bipolar Argumentation

KW - Logic Programming

UR - http://www.scopus.com/inward/record.url?scp=85137551167&partnerID=8YFLogxK

M3 - Artículo de la conferencia

AN - SCOPUS:85137551167

SN - 1613-0073

VL - 3197

SP - 49

EP - 60

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

Y2 - 7 August 2022 through 9 August 2022

ER -

Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming

Resumen

Otros archivos y enlaces

Huella

Citar esto