AI Chat AI Image Generator AI Video Text to Speech

The MatrixX Solver For Argumentation Frameworks

09/29/2021

∙

by Maximilian Heinrich, et al.

∙

∙

MatrixX is a solver for Abstract Argumentation Frameworks. Offensive and defensive properties of an Argumentation Framework are notated in a matrix style. Rows and columns of this matrix are systematically reduced by the solver. This procedure is implemented through the use of hash maps in order to accelerate calculation time. MatrixX works for stable and complete semantics and was designed for the ICCMA 2021 competition.

page 1

page 2

page 3

research

∙ 10/07/2011

The matrices of argumentation frameworks

We introduce matrix and its block to the Dung's theory of argumentation ...

0 Xu Yuming, et al. ∙

research

∙ 09/07/2021

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

We present Fudge, an abstract argumentation solver that tightly integrat...

0 Matthias Thimm, et al. ∙

research

∙ 12/14/2016

Web-based Argumentation

Assumption-Based Argumentation (ABA) is an argumentation framework that ...

0 Kenrick, et al. ∙

research

∙ 09/07/2021

The pyglaf argumentation reasoner (ICCMA2021)

The pyglaf reasoner takes advantage of circumscription to solve computat...

0 Mario Alviano, et al. ∙

research

∙ 10/18/2011

Handling controversial arguments by matrix

We introduce matrix and its block to the Dung's theory of argumentation ...

0 Xu Yuming, et al. ∙

research

∙ 08/11/2018

An Implementation, Empirical Evaluation and Proposed Improvement for Bidirectional Splitting Method for Argumentation Frameworks under Stable Semantics

Abstract argumentation frameworks are formal systems that facilitate obt...

0 Renata Wong, et al. ∙

research

∙ 09/10/2012

A matrix approach for computing extensions of argumentation frameworks

The matrices and their sub-blocks are introduced into the study of deter...

0 Xu Yuming, et al. ∙