Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Flexible Approach to Argumentation Framework Analysis using Theorem Proving
Fuenmayor Pelaez, David; Steen, Alexander
2021In First International Workshop on Logics for New-Generation Artificial Intelligence
Peer reviewed
 

Files


Full Text
lngai-paper.pdf
Author postprint (878.29 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] Argumentation frameworks constitute the central concept of argumentation theory of Dung. In this paper we present a novel and flexible approach of analyzing argumen- tation frameworks and their semantics based on an encoding into extensional type theory (classical higher-order logic). This representation enables the use of a wide range of interactive and automated higher-order reasoning tools for assessing argu- mentation frameworks. This includes the generation of labellings (and extensions), the assessment of meta-theoretic properties, the conduction of interactive empirical experiments, and the flexible analysis of argumentation frameworks with interpreted arguments.
Disciplines :
Computer science
Author, co-author :
Fuenmayor Pelaez, David ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Steen, Alexander ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
no
Language :
English
Title :
A Flexible Approach to Argumentation Framework Analysis using Theorem Proving
Publication date :
2021
Event name :
First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021)
Event place :
Hangzhou, China
Event date :
18-20 June 2021
Audience :
International
Main work title :
First International Workshop on Logics for New-Generation Artificial Intelligence
Publisher :
College Publications, London, United Kingdom
Pages :
18-32
Peer reviewed :
Peer reviewed
FnR Project :
FNR14616644 - Automated Reasoning With Legal Entities, 2020 (01/03/2021-28/02/2023) - Leon Van Der Torre
Name of the research project :
Automated Reasoning with Legal Entities (AuReLeE), CORE C20/IS/14616644
Funders :
FNR - Fonds National de la Recherche [LU]
Commentary :
Formalization available at https://github.com/aureleeNet/formalizations
Available on ORBilu :
since 31 July 2021

Statistics


Number of views
166 (2 by Unilu)
Number of downloads
114 (6 by Unilu)

Bibliography


Similar publications



Contact ORBilu