DeepAI AI Chat

The DIAMOND System for Argumentation: Preliminary Report

12/20/2013

∙

by Stefan Ellmauthaler, et al.

∙

∙

Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks. In this paper we present an answer set programming based software system, called DIAMOND (DIAlectical MOdels eNcoDing). It translates ADFs into answer set programs whose stable models correspond to models of the ADF with respect to several semantics (i.e. admissible, complete, stable, grounded).

Stefan Ellmauthaler
6 publications
Hannes Strass
11 publications

page 1

page 2

page 3

page 4

∙ 12/05/2019

Solving Advanced Argumentation Problems with Answer Set Programming

Powerful formalisms for abstract argumentation have been proposed, among...

0 Gerhard Brewka, et al. ∙

∙ 11/03/2020

On Computing Stable Extensions of Abstract Argumentation Frameworks

An abstract argumentation framework (af for short) is a directed graph (...

0 Samer Nofal, et al. ∙

∙ 09/24/2018

A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics

After Dung's founding work in Abstract Argumentation Frameworks there ha...

0 Theofrastos Mantadelis, et al. ∙

∙ 05/15/2019

Applying Abstract Argumentation Theory to Cooperative Game Theory

We apply ideas from abstract argumentation theory to study cooperative g...

0 Anthony P. Young, et al. ∙

∙ 03/31/2016

Characterizing Realizability in Abstract Argumentation

Realizability for knowledge representation formalisms studies the follow...

0 Thomas Linsbichler, et al. ∙

∙ 07/22/2019

Paracoherent Answer Set Semantics meets Argumentation Frameworks

In the last years, abstract argumentation has met with great success in ...

0 Giovanni Amendola, et al. ∙

∙ 12/12/2012

ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints

ConArg is a Constraint Programming-based tool that can be used to model ...

0 Stefano Bistarelli, et al. ∙