A formalization of abstract argumentation in higher-order logic

论证理论 计算机科学 语义学(计算机科学) 概率论证 理论计算机科学 订单(交换) 程序设计语言 形式语义学(语言学) 人工智能 认识论 哲学 财务 经济
作者
Alexander Steen,David Fuenmayor
出处
期刊:Journal of Logic and Computation [Oxford University Press]
被引量:1
标识
DOI:10.1093/logcom/exac027
摘要

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.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
1秒前
5秒前
朱晨熹完成签到,获得积分10
5秒前
夜白应助火星上的天思采纳,获得20
5秒前
暗生崎乐完成签到 ,获得积分10
5秒前
tianya完成签到,获得积分10
5秒前
打打应助星星采纳,获得10
6秒前
jingxuan发布了新的文献求助10
6秒前
luoyulin完成签到,获得积分10
7秒前
7秒前
18166992885发布了新的文献求助20
8秒前
Archers完成签到 ,获得积分10
9秒前
hhh完成签到 ,获得积分10
9秒前
zzz4743应助淡定宛白采纳,获得30
10秒前
英姑应助么么采纳,获得10
10秒前
Akim应助ai白哥采纳,获得10
10秒前
HUZ发布了新的文献求助10
11秒前
TANG完成签到,获得积分10
13秒前
壳米应助星星星星采纳,获得30
13秒前
韩国人的爹关注了科研通微信公众号
14秒前
跳跳妈妈发布了新的文献求助10
14秒前
15秒前
冰雪聪明墨菲特完成签到,获得积分20
15秒前
17秒前
17秒前
18秒前
18秒前
哈哈哈哈完成签到,获得积分10
18秒前
蓝从发布了新的文献求助10
20秒前
杨飞发布了新的文献求助10
21秒前
22秒前
NexusExplorer应助yx阿聪采纳,获得10
22秒前
22秒前
23秒前
星星发布了新的文献求助10
23秒前
23秒前
赘婿应助默默的铃铛采纳,获得10
25秒前
25秒前
Henry完成签到,获得积分10
27秒前
28秒前
高分求助中
【本贴是提醒信息,请勿应助】请在求助之前详细阅读求助说明!!!! 20000
One Man Talking: Selected Essays of Shao Xunmei, 1929–1939 1000
The Three Stars Each: The Astrolabes and Related Texts 900
Yuwu Song, Biographical Dictionary of the People's Republic of China 800
Multifunctional Agriculture, A New Paradigm for European Agriculture and Rural Development 600
Challenges, Strategies, and Resiliency in Disaster and Risk Management 500
Bernd Ziesemer - Maos deutscher Topagent: Wie China die Bundesrepublik eroberte 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 有机化学 工程类 生物化学 纳米技术 物理 内科学 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 电极 光电子学 量子力学
热门帖子
关注 科研通微信公众号,转发送积分 2480810
求助须知:如何正确求助?哪些是违规求助? 2143385
关于积分的说明 5466005
捐赠科研通 1866084
什么是DOI,文献DOI怎么找? 927525
版权声明 562969
科研通“疑难数据库(出版商)”最低求助积分说明 496223