English
Related papers

Related papers: Constrained Assumption-Based Argumentation Framewo…

200 papers

Assumption-based Argumentation (ABA) is a well-known structured argumentation formalism, whereby arguments and attacks between them are drawn from rules, defeasible assumptions and their contraries. A common restriction imposed on ABA…

Artificial Intelligence · Computer Science 2024-01-09 Markus Ulbricht , Nico Potyka , Anna Rapberger , Francesca Toni

We present ABA+, a new approach to handling preferences in a well known structured argumentation formalism, Assumption-Based Argumentation (ABA). In ABA+, preference information given over assumptions is incorporated directly into the…

Artificial Intelligence · Computer Science 2016-10-13 Kristijonas Čyras , Francesca Toni

Assumption-based Argumentation (ABA) is advocated as a unifying formalism for various forms of non-monotonic reasoning, including logic programming. It allows capturing defeasible knowledge, subject to argumentative debate. While, in much…

Artificial Intelligence · Computer Science 2024-11-11 Emanuele De Angelis , Maurizio Proietti , Francesca Toni

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

In computational argumentation, gradual semantics are fine-grained alternatives to extension-based and labelling-based semantics . They ascribe a dialectical strength to (components of) arguments sanctioning their degree of acceptability.…

Artificial Intelligence · Computer Science 2025-08-04 Anna Rapberger , Fabrizio Russo , Antonio Rago , Francesca Toni

We propose a novel approach to logic-based learning which generates assumption-based argumentation (ABA) frameworks from positive and negative examples, using a given background knowledge. These ABA frameworks can be mapped onto logic…

Artificial Intelligence · Computer Science 2023-05-26 Maurizio Proietti , Francesca Toni

In this work, we broaden the investigation of admissibility notions in the context of assumption-based argumentation (ABA). More specifically, we study two prominent alternatives to the standard notion of admissibility from abstract…

Artificial Intelligence · Computer Science 2025-08-18 Matti Berthold , Lydia Blümel , Anna Rapberger

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

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

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

Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly…

Artificial Intelligence · Computer Science 2021-08-10 Tuomo Lehtonen , Johannes P. Wallner , Matti Järvisalo

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

We introduce Supported Abstract Argumentation for Case-Based Reasoning (sAA-CBR), a binary classification model in which past cases engage in debates by arguing in favour of their labelling and attacking or supporting those with opposing or…

Artificial Intelligence · Computer Science 2025-07-08 Adam Gould , Gabriel de Olim Gaul , Francesca Toni

This paper develops a new approach to computational argumentation that is informed by philosophical and linguistic views. Namely, it takes into account two ideas that have received little attention in the literature on computational…

Artificial Intelligence · Computer Science 2026-02-04 Michael A. Müller , Srdjan Vesic , Bruno Yun

ProbLog is a popular probabilistic logic programming language/tool, widely used for applications requiring to deal with inherent uncertainties in structured domains. In this paper we study connections between ProbLog and a variant of…

Artificial Intelligence · Computer Science 2023-08-31 Francesca Toni , Nico Potyka , Markus Ulbricht , Pietro Totis

Most existing computational tools for assumption-based argumentation (ABA) focus on so-called flat frameworks, disregarding the more general case. In this paper, we study an instantiation-based approach for reasoning in possibly non-flat…

Artificial Intelligence · Computer Science 2024-05-27 Tuomo Lehtonen , Anna Rapberger , Francesca Toni , Markus Ulbricht , Johannes P. Wallner

Bipolar Argumentation Frameworks (BAFs) admit several interpretations of the support relation and diverging definitions of semantics. Recently, several classes of BAFs have been captured as instances of bipolar Assumption-Based…

Artificial Intelligence · Computer Science 2021-01-19 Amin Karamlou , Kristijonas Čyras , Francesca Toni

Causal discovery seeks to uncover causal relations from data, typically represented as causal graphs, and is essential for predicting the effects of interventions. While expert knowledge is required to construct principled causal graphs,…

Artificial Intelligence · Computer Science 2026-02-19 Zihao Li , Fabrizio Russo

We introduce a novel method to aggregate Bipolar Argumentation (BA) Frameworks expressing opinions by different parties in debates. We use Bipolar Assumption-based Argumentation (ABA) as an all-encompassing formalism for BA under different…

Artificial Intelligence · Computer Science 2021-02-08 Stefan Lauren , Francesco Belardinelli , Francesca Toni

In many expert and everyday reasoning contexts it is very useful to reason on the basis of defeasible assumptions. For instance, if the information at hand is incomplete we often use plausible assumptions, or if the information is…

Logic in Computer Science · Computer Science 2018-04-25 AnneMarie Borg
‹ Prev 1 2 3 10 Next ›