# Fudge: A light-weight solver for abstract argumentation based on SAT reductions

arXiv: https://arxiv.org/abs/2109.03106 · HTML: https://mlsanity.com/paper/2109.03106/

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- Builds on 0 of its 9 references that are in the map.
- First posted on arXiv 7 Sep 2021.

## Built on by (most cited first, 4 of 4)

- [Computational Argumentation-based Chatbots: a Survey](https://mlsanity.com/paper/2401.03454/) (2024)
- [Facets in Argumentation: A Formal Approach to Argument Significance](https://mlsanity.com/paper/2505.10982/) (2025)
- [Design and Results of ICCMA 2021](https://mlsanity.com/paper/2109.08884/) (2021)
- [Diversity of Extensions in Abstract Argumentation](https://mlsanity.com/paper/2605.13332/) (2026)

## Abstract (arXiv)

We present Fudge, an abstract argumentation solver that tightly integrates satisfiability solving technology to solve a series of abstract argumentation problems. While most of the encodings used by Fudge derive from standard translation approaches, Fudge makes use of completely novel encodings to solve the skeptical reasoning problem wrt. preferred semantics and problems wrt. ideal semantics.