DeepAI AI Chat
Log In Sign Up

The DIAMOND System for Argumentation: Preliminary Report

12/20/2013
by   Stefan Ellmauthaler, et al.
0

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).

READ FULL TEXT

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...
11/03/2020

On Computing Stable Extensions of Abstract Argumentation Frameworks

An abstract argumentation framework (af for short) is a directed graph (...
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...
05/15/2019

Applying Abstract Argumentation Theory to Cooperative Game Theory

We apply ideas from abstract argumentation theory to study cooperative g...
03/31/2016

Characterizing Realizability in Abstract Argumentation

Realizability for knowledge representation formalisms studies the follow...
07/22/2019

Paracoherent Answer Set Semantics meets Argumentation Frameworks

In the last years, abstract argumentation has met with great success in ...
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 ...