A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs - Archive ouverte HAL
Chapitre D'ouvrage Année : 2018

A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs

Résumé

This chapter aims at providing logical encodings for translating interactions in an argumentation graph themselves into propositional knowledge bases. This translation will be used for identifying or redefining some properties of argumentation graphs. The graphs we consider are used to formalize abstract argumentation with at least two different kinds of interaction (attack and support) and also recursive interactions.
Fichier non déposé

Dates et versions

hal-03044257 , version 1 (07-12-2020)

Identifiants

Citer

Claudette Cayrol, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex. A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs. Golinska-Pilarek, Joanna; Zawidzki, Michal. Ewa Orłowska on Relational Methods in Logic and Computer Science, 17, Springer, pp.481--502, 2018, OCTR : Outstanding Contributions to Logic, 10.1007/978-3-319-97879-6_18. ⟨10.1007/978-3-319-97879-6_18⟩. ⟨hal-03044257⟩
45 Consultations
0 Téléchargements

Altmetric

Partager

More