-
Views
-
Cite
Cite
Alexander Steen, David Fuenmayor, A formalization of abstract argumentation in higher-order logic, Journal of Logic and Computation, Volume 34, Issue 2, March 2024, Pages 229–260, https://doi.org/10.1093/logcom/exac027
- Share Icon Share
Abstract
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.
© The Author(s) 2022. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com.
This article is published and distributed under the terms of the Oxford University Press, Standard Journals Publication Model (https://dbpia.nl.go.kr/journals/pages/open_access/funder_policies/chorus/standard_publication_model)
You do not currently have access to this article.