Reference : A logical account of formal argumentation
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/16339
A logical account of formal argumentation
English
Caminada, Martin mailto [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]
2009
Studia Logica
Springer
Yes
0039-3215
1572-8730
Berlin
Germany
[en] abstract argumentation, ; argument labellings ; modal logi c
[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.
http://hdl.handle.net/10993/16339
To appear

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
labml.pdfPublisher postprint283.3 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.