Sciweavers

5378 search results - page 33 / 1076
» Base Logics in Argumentation
Sort
View
ICCS
2001
Springer
14 years 1 months ago
GEA: A Complete, Modular System for Generating Evaluative Arguments
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
Giuseppe Carenini
ECAI
2004
Springer
14 years 2 months ago
Extending Defeasible Logic and Defeasible Prolog
Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-...
Ahti-Veikko Pietarinen
ICAIL
2011
ACM
12 years 8 months ago
On the relationship between Carneades and Defeasible Logic
We study the formal relationships between the inferential aspects of Carneades (a general argumentation framework) and Defeasible Logic. The outcome of the investigation is that t...
Guido Governatori
DLT
2008
13 years 10 months ago
Fixed Point and Aperiodic Tilings
An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics rangin...
Bruno Durand, Andrei E. Romashchenko, Alexander Sh...
ATAL
2008
Springer
13 years 10 months ago
Modelling coalitions: ATL + argumentation
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
Nils Bulling, Jürgen Dix, Carlos Iván ...