A logical account of formal argumentation

Reference : A logical account of formal argumentation


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/16339

Title :	A logical account of formal argumentation
Language :	English
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]
Publication date :	2009
Journal title :	Studia Logica
Publisher :	Springer
Peer reviewed :	Yes
ISSN :	0039-3215
e-ISSN :	1572-8730
City :	Berlin
Country :	Germany
Keywords :	[en] 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.
Permalink :	http://hdl.handle.net/10993/16339
Commentary :	To appear

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	labml.pdf		Publisher postprint	283.3 kB	View/Open

All documents in ORBi^lu are protected by a user license.