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

09/07/2021
by   Matthias Thimm, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

research
09/29/2021

The MatrixX Solver For Argumentation Frameworks

MatrixX is a solver for Abstract Argumentation Frameworks. Offensive and...
research
09/07/2021

The pyglaf argumentation reasoner (ICCMA2021)

The pyglaf reasoner takes advantage of circumscription to solve computat...
research
12/14/2016

Web-based Argumentation

Assumption-Based Argumentation (ABA) is an argumentation framework that ...
research
11/11/2014

Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report

Abstract argumentation framework () is a unifying framework able to enco...
research
11/29/2019

Abstract Argumentation and the Rational Man

Abstract argumentation has emerged as a method for non-monotonic reasoni...
research
08/21/2019

Technical Report on Implementing Ranking-Based Semantics in ConArg

ConArg is a suite of tools that offers a wide series of applications for...
research
08/21/2019

Implementing Ranking-Based Semantics in ConArg: a Preliminary Report

ConArg is a suite of tools that offers a wide series of applications for...

Please sign up or login with your details

Forgot password? Click here to reset