English
Related papers

Related papers: Abstractly Interpreting Argumentation Frameworks f…

200 papers

Argumentation frameworks, consisting of arguments and an attack relation representing conflicts, are fundamental for formally studying reasoning under conflicting information. We use methods from mathematical logic, specifically…

Artificial Intelligence · Computer Science 2025-12-01 Uri Andrews , Luca San Mauro

The connection between inconsistent databases and Dung's abstract argumentation framework has recently drawn growing interest. Specifically, an inconsistent database, involving certain types of integrity constraints such as functional and…

Logic in Computer Science · Computer Science 2024-12-17 Yasir Mahmood , Markus Hecher , Axel-Cyrille Ngonga Ngomo

There are various interesting semantics' (extensions) designed for argumentation frameworks. They enable to assign a meaning, e.g., to odd-length cycles. Our main motivation is to transfer semantics' proposed by Baroni, Giacomin and Guida…

Logic in Computer Science · Computer Science 2011-08-29 Monika Adamova , Jan Sefranek

We introduce a family of new equational semantics for argumentation networks which can handle odd and even loops in a uniform manner. We offer one version of equational semantics which is equivalent to CF2 semantics, and a better version…

Artificial Intelligence · Computer Science 2012-03-02 Dov M. Gabbay

In abstract argumentation, multiple argumentation semantics have been proposed that allow to select sets of jointly acceptable arguments from a given argumentation framework, i.e. based only on the attack relation between arguments. The…

Artificial Intelligence · Computer Science 2019-02-28 Marcos Cramer , Mathieu Guillaume

Recently, Strength-based Argumentation Frameworks (StrAFs) have been proposed to model situations where some quantitative strength is associated with arguments. In this setting, the notion of accrual corresponds to sets of arguments that…

Artificial Intelligence · Computer Science 2022-07-07 Yohann Bacquey , Jean-Guy Mailly , Pavlos Moraitis , Julien Rossit

In formal argumentation, a distinction can be made between extension-based semantics, where sets of arguments are either (jointly) accepted or not, and ranking-based semantics, where grades of acceptability are assigned to arguments.…

Artificial Intelligence · Computer Science 2023-08-01 Jesse Heyninck , Badran Raddaoui , Christian Straßer

Weighted gradual semantics provide an acceptability degree to each argument representing the strength of the argument, computed based on factors including background evidence for the argument, and taking into account interactions between…

Artificial Intelligence · Computer Science 2024-08-21 Assaf Libman , Nir Oren , Bruno Yun

The lack of annotated data on professional argumentation and complete argumentative debates has led to the oversimplification and the inability of approaching more complex natural language processing tasks. Such is the case of the automatic…

Computation and Language · Computer Science 2024-01-23 Ramon Ruiz-Dolz , Stella Heras , Ana García-Fornes

Abstract dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria used to settle the acceptance of arguments are called…

Artificial Intelligence · Computer Science 2020-12-14 Atefeh Keshavarzi Zafarghandi , Rineke Verbrugge , Bart Verheij

Dung's Abstract Argumentation Framework (AF) has emerged as a key formalism for argumentation in Artificial Intelligence. It has been extended in several directions, including the possibility to express supports, leading to the development…

Artificial Intelligence · Computer Science 2025-01-22 Gianvincenzo Alfano , Sergio Greco , Francesco Parisi , Irina Trubitsyna

Abstract argumentation is a popular toolkit for modeling, evaluating, and comparing arguments. Relationships between arguments are specified in argumentation frameworks (AFs), and conditions are placed on sets (extensions) of arguments that…

Artificial Intelligence · Computer Science 2024-08-21 Johannes K. Fichte , Markus Hecher , Yasir Mahmood , Arne Meier

In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments. After introducing a novel notion of defenses and defense graphs, we propose a defense semantics together with…

Artificial Intelligence · Computer Science 2017-08-03 Beishui Liao , Leendert van der Torre

Abstract argumentation frameworks (AFs) provide a formal setting to analyze many forms of reasoning with conflicting information. While the expressiveness of general infinite AFs make them a tempting tool for modeling many kinds of…

Artificial Intelligence · Computer Science 2025-08-26 Uri Andrews , Luca San Mauro

The study of arguments as abstract entities and their interaction as introduced by Dung (Artificial Intelligence 177, 1995) has become one of the most active research branches within Artificial Intelligence and Reasoning. A main issue for…

Artificial Intelligence · Computer Science 2011-05-16 Eun Jung Kim , Sebastian Ordyniak , Stefan Szeider

In this paper, we present a learning-based approach to determining acceptance of arguments under several abstract argumentation semantics. More specifically, we propose an argumentation graph neural network (AGNN) that learns a…

Artificial Intelligence · Computer Science 2021-09-28 Dennis Craandijk , Floris Bex

We present an extension-based approach for computing and verifying preferences in an abstract argumentation system. Although numerous argumentation semantics have been developed previously for identifying acceptable sets of arguments from…

Artificial Intelligence · Computer Science 2024-03-27 Quratul-ain Mahesar , Nir Oren , Wamberto W. Vasconcelos

Abstract argumentation has emerged as a method for non-monotonic reasoning that has gained popularity in the symbolic artificial intelligence community. In the literature, the different approaches to abstract argumentation that were refined…

Artificial Intelligence · Computer Science 2021-01-11 Timotheus Kampik , Juan Carlos Nieves

We apply ideas from abstract argumentation theory to study cooperative game theory. Building on Dung's results in his seminal paper, we further the correspondence between Dung's four argumentation semantics and solution concepts in…

Computer Science and Game Theory · Computer Science 2020-01-06 Anthony P. Young , David Kohan Marzagao , Josh Murphy

Abstract argumentation provides us with methods such as gradual and Dung semantics with which to evaluate arguments after potential attacks by other arguments. Some of these methods can take intrinsic strengths of arguments as input, with…

Artificial Intelligence · Computer Science 2021-09-02 Jeroen Paul Spaans