Constrained Assumption-Based Argumentation Frameworks

• URL: http://arxiv.org/abs/2602.13135v1
• Date: Fri, 13 Feb 2026 17:36:15 GMT
• Title: Constrained Assumption-Based Argumentation Frameworks
• Authors: Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti, Francesca Toni,
• Abstract summary: Assumption-based Argumentation (ABA) is a well-established form of structured argumentation.<n>We propose a novel notion of constrained ABA (CABA), whose components, as well as arguments built from them, may include constrained variables.<n>We show that the new semantics conservatively generalise standard ABA semantics.
• Score: 12.485266503463189
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Assumption-based Argumentation (ABA) is a well-established form of structured argumentation. ABA frameworks with an underlying atomic language are widely studied, but their applicability is limited by a representational restriction to ground (variable-free) arguments and attacks built from propositional atoms. In this paper, we lift this restriction and propose a novel notion of constrained ABA (CABA), whose components, as well as arguments built from them, may include constrained variables, ranging over possibly infinite domains. We define non-ground semantics for CABA, in terms of various notions of non-ground attacks. We show that the new semantics conservatively generalise standard ABA semantics.

Related papers

• Rethinking Transferable Adversarial Attacks on Point Clouds from a Compact Subspace Perspective [55.919842734983156]
  CoSA is a transferable attack framework that operates within a shared low-dimensional semantic space.<n>CoSA consistently outperforms state-of-the-art transferable attacks.
  arXiv  Detail & Related papers  (2026-01-30T15:48:11Z)
• Geometrically-Constrained Agent for Spatial Reasoning [53.93718394870856]
  Vision Language Models exhibit a fundamental semantic-to-geometric gap in spatial reasoning.<n>Current paradigms fail to bridge this gap.<n>We propose a training-free agentic paradigm that resolves this gap by introducing a formal task constraint.
  arXiv  Detail & Related papers  (2025-11-27T17:50:37Z)
• On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation [4.583931917131698]
  We study two prominent alternatives to the standard notion of admissibility from abstract argumentation.<n>We introduce the respective preferred, complete and grounded semantics for general (sometimes called non-flat) ABA.<n>We show that the central modularization property is maintained under classical, strong, and weak admissibility.
  arXiv  Detail & Related papers  (2025-08-15T03:13:07Z)
• On Gradual Semantics for Assumption-Based Argumentation [15.021229450879316]
  In computational argumentation, gradual semantics are fine-grained alternatives to extension-based and labelling-based semantics.<n>We show that our gradual ABA semantics satisfy suitable adaptations of desirable properties, such as balance and monotonicity.
  arXiv  Detail & Related papers  (2025-07-14T09:02:45Z)
• Faithful Differentiable Reasoning with Reshuffled Region-based Embeddings [62.93577376960498]
  Knowledge graph embedding methods learn geometric representations of entities and relations to predict plausible missing knowledge.<n>We propose RESHUFFLE, a model based on ordering constraints that can faithfully capture a much larger class of rule bases.<n>The entity embeddings in our framework can be learned by a Graph Neural Network (GNN), which effectively acts as a differentiable rule base.
  arXiv  Detail & Related papers  (2024-06-13T18:37:24Z)
• Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation [18.32141673219938]
  We study an instantiation-based approach for reasoning in possibly non-flat ABA. We propose two algorithmic approaches for reasoning in possibly non-flat ABA.
  arXiv  Detail & Related papers  (2024-04-17T14:36:47Z)
• CAR: Conceptualization-Augmented Reasoner for Zero-Shot Commonsense Question Answering [56.592385613002584]
  We propose Conceptualization-Augmented Reasoner (CAR) to tackle the task of zero-shot commonsense question answering. CAR abstracts a commonsense knowledge triple to many higher-level instances, which increases the coverage of CommonSense Knowledge Bases. CAR more robustly generalizes to answering questions about zero-shot commonsense scenarios than existing methods.
  arXiv  Detail & Related papers  (2023-05-24T08:21:31Z)
• Non-flat ABA is an Instance of Bipolar Argumentation [23.655909692988637]
  Assumption-based Argumentation (ABA) is a well-known structured argumentation formalism. A common restriction imposed on ABA frameworks (ABAFs) is that they are flat. No translation exists from general, possibly non-flat ABAFs into any kind of abstract argumentation formalism.
  arXiv  Detail & Related papers  (2023-05-21T13:18:08Z)
• Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) [1.5828697880068698]
  We study the adaptation of admissibility-based semantics to Strength-based Argumentation Frameworks (StrAFs) Especially, we show that the strong admissibility defined in the literature does not satisfy a desirable property, namely Dung's fundamental lemma. We propose a translation in pseudo-Boolean constraints for computing (strong and weak) extensions.
  arXiv  Detail & Related papers  (2022-07-05T18:42:04Z)
• Towards Robustness Against Natural Language Word Substitutions [87.56898475512703]
  Robustness against word substitutions has a well-defined and widely acceptable form, using semantically similar words as substitutions. Previous defense methods capture word substitutions in vector space by using either $l$-ball or hyper-rectangle.
  arXiv  Detail & Related papers  (2021-07-28T17:55:08Z)
• BoxE: A Box Embedding Model for Knowledge Base Completion [53.57588201197374]
  Knowledge base completion (KBC) aims to automatically infer missing facts by exploiting information already present in a knowledge base (KB) Existing embedding models are subject to at least one of the following limitations. BoxE embeds entities as points, and relations as a set of hyper-rectangles (or boxes)
  arXiv  Detail & Related papers  (2020-07-13T09:40:49Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.