English
Related papers

Related papers: On Gradual Semantics for Assumption-Based Argument…

200 papers

Explaining the strength of arguments under gradual semantics is receiving increasing attention. For example, various studies in the literature offer explanations by computing the attribution scores of arguments or edges in Quantitative…

Artificial Intelligence · Computer Science 2024-09-10 Xiang Yin , Nico Potyka , Francesca Toni

Among the most general structures extending the framework by Dung are the abstract dialectical frameworks (ADFs). They come equipped with various types of semantics, with the most prominent - the labeling-based one - analyzed in the context…

Artificial Intelligence · Computer Science 2016-07-05 Sylwia Polberg

In this paper, we present a general framework for ranking sets of arguments in abstract argumentation based on their plausibility of acceptance. We present a generalisation of Dung's extension semantics as extension-ranking semantics, which…

Artificial Intelligence · Computer Science 2025-05-01 Kenneth Skiba , Tjitze Rienstra , Matthias Thimm , Jesse Heyninck , Gabriele Kern-Isberner

We augment Assumption Based Argumentation (ABA for short) with weighted argumentation. In a nutshell, we assign weights to arguments and then derive the weight of attacks between ABA arguments. We illustrate our proposal through running…

Artificial Intelligence · Computer Science 2025-06-24 Paolo Baldi , Fabio Aurelio D'Asaro , Abeer Dyoub , Francesca Alessandra Lisi

There is a growing interest in understanding arguments' strength in Quantitative Bipolar Argumentation Frameworks (QBAFs). Most existing studies focus on attribution-based methods that explain an argument's strength by assigning importance…

Artificial Intelligence · Computer Science 2024-11-12 Xiang Yin , Nico Potyka , Francesca Toni

We contemplate a higher-level bipolar abstract argumentation for non-elementary arguments such as: X argues against Ys sincerity with the fact that Y has presented his argument to draw a conclusion C, by omitting other facts which would not…

Artificial Intelligence · Computer Science 2019-01-21 Ryuta Arisaka , Stefano Bistarelli , Francesco Santini

Answer set programming (ASP) is an efficient problem-solving approach, which has been strongly supported both scientifically and technologically by several solvers, ongoing active research, and implementations in many different fields.…

Artificial Intelligence · Computer Science 2021-09-20 Ezgi Iraz Su

We investigate properties of ABA+, a formalism that extends the well studied structured argumentation formalism Assumption-Based Argumentation (ABA) with a preference handling mechanism. In particular, we establish desirable properties that…

Artificial Intelligence · Computer Science 2017-11-07 Kristijonas Cyras , Francesca Toni

The relation between (a fragment of) assumption-based argumentation (ABA) and logic programs (LPs) under stable model semantics is well-studied. However, for obtaining this relation, the ABA framework needs to be restricted to being flat,…

Artificial Intelligence · Computer Science 2024-08-14 Anna Rapberger , Markus Ulbricht , Francesca Toni

Answer set programming is one of the most praised frameworks for declarative programming in general and non-monotonic reasoning in particular. There has been many efforts to extend stable model semantics so that answer set programs can use…

Logic in Computer Science · Computer Science 2012-12-04 Shahab Tasharrofi

Argumentation Frameworks (AFs) are a key formalism in AI research. Their semantics have been investigated in terms of principles, which define characteristic properties in order to deliver guidance for analysing established and developing…

Artificial Intelligence · Computer Science 2022-05-09 Wolfgang Dvořák , Matthias König , Markus Ulbricht , Stefan Woltran

ASPIC-style structured argumentation frameworks provide a formal basis for reasoning in artificial intelligence by combining internal argument structure with abstract argumentation semantics. A key challenge in these frameworks is ensuring…

Artificial Intelligence · Computer Science 2026-04-24 Marcos Cramer , Tom Friese

Retrieval-Augmented Generation (RAG) enhances large language models by incorporating external knowledge, yet suffers from critical limitations in high-stakes domains -- namely, sensitivity to noisy or contradictory evidence and opaque,…

Artificial Intelligence · Computer Science 2025-08-29 Yuqicheng Zhu , Nico Potyka , Daniel Hernández , Yuan He , Zifeng Ding , Bo Xiong , Dongzhuoran Zhou , Evgeny Kharlamov , Steffen Staab

Although much work in NLP has focused on measuring and mitigating stereotypical bias in semantic spaces, research addressing bias in computational argumentation is still in its infancy. In this paper, we address this research gap and…

Computation and Language · Computer Science 2022-04-11 Carolin Holtermann , Anne Lauscher , Simone Paolo Ponzetto

Assumption-Based Argumentation (ABA) is an argumentation framework that has been proposed in the late 20th century. Since then, there was still no solver implemented in a programming language which is easy to setup and no solver have been…

Artificial Intelligence · Computer Science 2016-12-15 Kenrick

Recently there has been an increasing interest in frameworks extending Dung's abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive attacks and necessary supports. Although the relationships…

Artificial Intelligence · Computer Science 2020-08-07 Gianvincenzo Alfano , Sergio Greco , Francesco Parisi , Irina Trubitsyna

In Dung-style abstract argumentation, various semantics capture notions of acceptability of arguments. The admissibility semantics capture the notion that an argument can be consistently defended from any potential counterargument. Weak…

Artificial Intelligence · Computer Science 2026-05-05 Uri Andrews , Luca San Mauro , John Spoerl

Various structured argumentation frameworks utilize preferences as part of their standard inference procedure to enable reasoning with preferences. In this paper, we consider an inverse of the standard reasoning problem, seeking to identify…

Artificial Intelligence · Computer Science 2020-05-13 Quratul-ain Mahesar , Nir Oren , Wamberto W. Vasconcelos

This paper addresses the semantics of weighted argumentation graphs that are bipolar, i.e. contain both attacks and supports for arguments. It builds on previous work by Amgoud, Ben-Naim et. al. We study the various characteristics of…

Artificial Intelligence · Computer Science 2018-09-28 Till Mossakowski , Fabian Neuhaus

Explainable Artificial Intelligence and Formal Argumentation have received significant attention in recent years. Argumentation-based systems often lack explainability while supporting decision-making processes. Counterfactual and…

Artificial Intelligence · Computer Science 2024-05-08 Gianvincenzo Alfano , Sergio Greco , Francesco Parisi , Irina Trubitsyna