Eprint already available on another site (E-prints, Working papers and Research blog)
A Formalisation of Abstract Argumentation in Higher-Order Logic
STEEN, Alexander; FUENMAYOR PELAEZ, David
2021
 

Files


Full Text
2110.09174.pdf
Publisher postprint (977.64 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Automated Theorem Proving; Higher-Order Logic; Isabelle/HOL; abstract argumentation
Abstract :
[en] We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive and automated reasoning tools. This enables the formal analysis and verification of meta-theoretical properties as well as the flexible generation of extensions and labellings with respect to well-known argumentation semantics.
Disciplines :
Computer science
Author, co-author :
STEEN, Alexander ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
FUENMAYOR PELAEZ, David ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Language :
English
Title :
A Formalisation of Abstract Argumentation in Higher-Order Logic
Publication date :
October 2021
Publisher :
arXiv
Number of pages :
33
Focus Area :
Computational Sciences
FnR Project :
FNR14616644 - Automated Reasoning With Legal Entities, 2020 (01/03/2021-28/02/2023) - Leon Van Der Torre
Name of the research project :
C20/IS/14616644 (CORE Jr. AuReLeE)
Funders :
FNR - Fonds National de la Recherche
Commentary :
33 pages, 8 figures; submitted article
Available on ORBilu :
since 23 October 2021

Statistics


Number of views
233 (8 by Unilu)
Number of downloads
37 (0 by Unilu)

Bibliography


Similar publications



Sorry the service is unavailable at the moment. Please try again later.
Contact ORBilu