Article (Scientific journals)
A logical account of formal argumentation
CAMINADA, Martin; GABBAY, Dov M.
2009In Studia Logica
Peer reviewed
 

Files


Full Text
labml.pdf
Publisher postprint (290.1 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
abstract argumentation,; argument labellings; modal logi c
Abstract :
[en] In the current paper, we re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic. In particular, we are able to express the (complete) extensions of an argumentation framework as models of a set of modal logic formulas that represents the argumentation framework. Using this approach, it becomes possible to define the grounded extension in terms of modal logic entailment.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2010-082
Author, co-author :
CAMINADA, Martin ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
GABBAY, Dov M. ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) ; King’s College London, Department of Computer Science, London, UK ; Bar-Ilan University, Ramat-Gan, Israel
Language :
English
Title :
A logical account of formal argumentation
Publication date :
2009
Journal title :
Studia Logica
ISSN :
1572-8730
Publisher :
Springer, Berlin, Germany
Peer reviewed :
Peer reviewed
Commentary :
To appear
Available on ORBilu :
since 10 April 2014

Statistics


Number of views
135 (6 by Unilu)
Number of downloads
479 (5 by Unilu)

Scopus citations®
 
245
Scopus citations®
without self-citations
192
OpenCitations
 
132

Bibliography


Similar publications



Contact ORBilu