DeepAI AI Chat
Log In Sign Up

Improved Answer-Set Programming Encodings for Abstract Argumentation

by   Sarah A. Gaggl, et al.

The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.


page 1

page 2

page 3

page 4


Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems

Dung's famous abstract argumentation frameworks represent the core forma...

Solving Advanced Argumentation Problems with Answer Set Programming

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

Utilizing ASP for Generating and Visualizing Argumentation Frameworks

Within the area of computational models of argumentation, the instantiat...

dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation

The aim of this paper is to announce the release of a novel system for a...

Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation

Assumption-based argumentation (ABA) is a central structured argumentati...

Cicero: Multi-Turn, Contextual Argumentation for Accurate Crowdsourcing

Traditional approaches for ensuring high quality crowdwork have failed t...