Reference : A logical account of formal argumentation
Scientific journals : Article
Engineering, computing & technology : Computer science
A logical account of formal argumentation
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]
Studia Logica
[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.
To appear

File(s) associated to this reference

Fulltext file(s):

Open access
labml.pdfPublisher postprint283.3 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.