Reference : A Formalisation of Abstract Argumentation in Higher-Order Logic
E-prints/Working papers : Already available on another site
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/48438
A Formalisation of Abstract Argumentation in Higher-Order Logic
English
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Fuenmayor Pelaez, David mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Oct-2021
arXiv
[cs.AI]
33
No
[en] Automated Theorem Proving ; Higher-Order Logic ; Isabelle/HOL ; abstract argumentation
[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.
Fonds National de la Recherche - FnR
C20/IS/14616644 (CORE Jr. AuReLeE)
Researchers
http://hdl.handle.net/10993/48438
https://arxiv.org/pdf/2110.09174
33 pages, 8 figures; submitted article
https://arxiv.org/abs/2110.09174
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
2110.09174.pdfPublisher postprint954.73 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.