English
Related papers

Related papers: On Strong and Weak Admissibility in Non-Flat Assum…

200 papers

Much like admissibility is the key concept underlying preferred semantics, strong admissibility is the key concept underlying grounded semantics, as membership of a strongly admissible set is sufficient to show membership of the grounded…

Artificial Intelligence · Computer Science 2022-04-08 Martin Caminada , Sri Harikrishnan

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

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

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

Assumption-Based Argumentation (ABA) is a well-established formalism for modelling and reasoning over debates, with a wide range of applications. However, the high computational complexity of core reasoning tasks in ABA poses a significant…

Artificial Intelligence · Computer Science 2026-05-01 Giovanni Buraglio , Wolfgang Dvorak , Stefan Woltran

In this research note, we show the relationship between two non-admissible argumentation framework semantics: cogent and weakly admissible semantics. We prove that, while cogent extensions are weakly admissible, the converse is not true.

Artificial Intelligence · Computer Science 2025-11-14 Gustavo Bodanza

Formal argumentation is being used increasingly in artificial intelligence as an effective and understandable way to model potentially conflicting pieces of information, called arguments, and identify so-called acceptable arguments…

Artificial Intelligence · Computer Science 2026-03-09 Yann Munro , Isabelle Bloch , Marie-Jeanne Lesot

Abstract argumentation frameworks (AFs) are one of the most studied formalisms in AI. In this work, we introduce a certain subclass of AFs which we call compact. Given an extension-based semantics, the corresponding compact AFs are…

Artificial Intelligence · Computer Science 2014-05-01 Ringo Baumann , Wolfgang Dvorák , Thomas Linsbichler , Hannes Strass , Stefan Woltran

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

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

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

Dung's abstract argumentation frameworks model acceptability solely in terms of an attack relation, thereby conflating two conceptually distinct aspects of argumentative reasoning: direct conflict between arguments and the structural…

Artificial Intelligence · Computer Science 2026-04-14 Beishui Liao

Argumentation is a very active research field of Artificial Intelligence concerned with the representation and evaluation of arguments used in dialogues between humans and/or artificial agents. Acceptability semantics of formal…

Artificial Intelligence · Computer Science 2025-03-05 Zlatina Mileva , Antonis Bikakis , Fabio Aurelio D'Asaro , Mark Law , Alessandra Russo

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

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

One of the most prominent tools for abstract argumentation is the Dung's framework, AF for short. It is accompanied by a variety of semantics including grounded, complete, preferred and stable. Although powerful, AFs have their…

Artificial Intelligence · Computer Science 2014-05-05 Sylwia Polberg

Causal models are playing an increasingly important role in machine learning, particularly in the realm of explainable AI. We introduce a conceptualisation for generating argumentation frameworks (AFs) from causal models for the purpose of…

Artificial Intelligence · Computer Science 2022-05-25 Antonio Rago , Pietro Baroni , Francesca Toni

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

A Timed Argumentation Framework (TAF) is a formalism where arguments are only valid for consideration in a given period of time, called availability intervals, which are defined for every individual argument. The original proposal is based…

Artificial Intelligence · Computer Science 2019-03-06 Maximiliano C. D. Budán , Maria Laura Cobo , Diego C. Martinez , Guillermo R. Simari

This paper studies a fundamental mechanism of how to detect a conflict between arguments given sentiments regarding acceptability of the arguments. We introduce a concept of the inverse problem of the abstract argumentation to tackle the…

Artificial Intelligence · Computer Science 2021-01-28 Hiroyuki Kido , Beishui Liao