[HTML][HTML] Methods for solving reasoning problems in abstract argumentation–a survey

G Charwat, W Dvořák, SA Gaggl, JP Wallner… - Artificial intelligence, 2015 - Elsevier
Within the last decade, abstract argumentation has emerged as a central field in Artificial
Intelligence. Besides providing a core formalism for many advanced argumentation systems …

An abstract framework for argumentation with structured arguments

H Prakken - Argument & Computation, 2010 - content.iospress.com
An abstract framework for structured arguments is presented, which instantiates Dung's ('On
the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning …

A general account of argumentation with preferences

S Modgil, H Prakken - Artificial Intelligence, 2013 - Elsevier
This paper builds on the recent ASPIC+ formalism, to develop a general framework for
argumentation with preferences. We motivate a revised definition of conflict free sets of …

[PDF][PDF] A labelling-based justification status of arguments

Y Wu, M Caminada, M Podlaszewski - Studies in Logic, 2010 - academia.edu
In this paper, we define a labelling-based justification status of the arguments in an
argumentation framework. Our proposal allows for a more fine-grained notion of a …

Argument theory change: Revision upon warrant

ND Rotstein, MO Moguillansky, MA Falappa… - COMMA, 2008 - books.google.com
We propose an abstract argumentation theory whose dynamics is captured by the
application of belief revision concepts. The theory is deemed as abstract because both the …

A labelling approach for ideal and stage semantics

M Caminada - Argument & Computation, 2011 - content.iospress.com
In this document, we describe the concepts of ideal semantics and stage semantics for
abstract argumentation in terms of argument labellings. The difference between the …

[PDF][PDF] Revisiting preferences and argumentation

S Modgil, H Prakken - IJCAI Proceedings-International …, 2011 - webspace.science.uu.nl
The ASPIC+ framework is intermediate in abstraction between Dung's argumentation
framework and concrete instantiating logics. This paper generalises ASPIC+ to …

[HTML][HTML] Automata for infinite argumentation structures

P Baroni, F Cerutti, PE Dunne, M Giacomin - Artificial Intelligence, 2013 - Elsevier
The theory of abstract argumentation frameworks (af s) has, in the main, focused on finite
structures, though there are many significant contexts where argumentation can be regarded …

Reconstructing Popov v. Hayashi in a framework for argumentation with structured arguments and Dungean semantics

H Prakken - Artificial Intelligence and law, 2012 - Springer
In this article the argumentation structure of the court's decision in the Popov v. Hayashi case
is formalised in Prakken's (Argument Comput 1: 93–124; 2010) abstract framework for …

Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation

B van Gijzel, H Prakken - Argument & Computation, 2012 - content.iospress.com
Carneades is a recently proposed formalism for structured argumentation with varying proof
standards, inspired by legal reasoning, but more generally applicable. Its distinctive feature …