A tutorial on assumption-based argumentation
F Toni - Argument & Computation, 2014 - content.iospress.com
We give an introductory tutorial to assumption-based argumentation (referred to as ABA)–a
form of argumentation where arguments and attacks are notions derived from primitive …
form of argumentation where arguments and attacks are notions derived from primitive …
Logical models of argument
Logical models of arguement formalize commonsense reasoning while taking process and
computation seriously. This survey discusses the main ideas that characterize different …
computation seriously. This survey discusses the main ideas that characterize different …
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
PM Dung - Artificial intelligence, 1995 - Elsevier
The purpose of this paper is to study the fundamental mechanism, humans use in
argumentation, and to explore ways to implement this mechanism on computers. We do so …
argumentation, and to explore ways to implement this mechanism on computers. We do so …
Defeasible logic programming: An argumentative approach
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that
combines results of Logic Programming and Defeasible Argumentation. DeLP provides the …
combines results of Logic Programming and Defeasible Argumentation. DeLP provides the …
An abstract, argumentation-theoretic approach to default reasoning
We present an abstract framework for default reasoning, which includes Theorist, default
logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain …
logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain …
Argument-based extended logic programming with defeasible priorities
Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for
defeasible argumentation. Arguments are expressed in a logic-programming language with …
defeasible argumentation. Arguments are expressed in a logic-programming language with …
Computing ideal sceptical argumentation
We present two dialectic procedures for the sceptical ideal semantics for argumentation. The
first procedure is defined in terms of dispute trees, for abstract argumentation frameworks …
first procedure is defined in terms of dispute trees, for abstract argumentation frameworks …
A dialectical model of assessing conflicting arguments in legal reasoning
Inspired by legal reasoning, this paper presents a formal framework for assessing conflicting
arguments. Its use is illustrated with applications to realistic legal examples, and the …
arguments. Its use is illustrated with applications to realistic legal examples, and the …
Assumption-based argumentation
Assumption-Based Argumentation (ABA)[4, 3, 27, 11, 12, 20, 22] was developed, starting in
the 90s, as a computational framework to reconcile and generalise most existing …
the 90s, as a computational framework to reconcile and generalise most existing …
The role of abduction in logic programming
The role of abduction in logic programming Page 252 The Role of Abduction in Logic
Programming AC Kakas, RA Kowalski and F. Toni Contents 1 234 Introduction 1.1 …
Programming AC Kakas, RA Kowalski and F. Toni Contents 1 234 Introduction 1.1 …