Reference : A Flexible Approach to Argumentation Framework Analysis using Theorem Proving
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/47770
A Flexible Approach to Argumentation Framework Analysis using Theorem Proving
English
Fuenmayor Pelaez, David mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
2021
First International Workshop on Logics for New-Generation Artificial Intelligence
College Publications
18-32
Yes
No
International
London
UK
First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021)
18-20 June 2021
Hangzhou
China
[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.
Fonds National de la Recherche - FnR
Automated Reasoning with Legal Entities (AuReLeE), CORE C20/IS/14616644
Researchers
http://hdl.handle.net/10993/47770
https://www.xixilogic.org/events/lngai2021/
Formalization available at https://github.com/aureleeNet/formalizations
FnR ; FNR14616644 > Alexander Steen > AuReLeE > Automated Reasoning With Legal Entities > 01/03/2021 > 28/02/2023 > 2020

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
lngai-paper.pdfAuthor postprint857.71 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.