Stage semantics and the SCC-recursive schema for argumentation semantics

有根据的语义学 操作语义 指称语义学 计算机科学 语义学(计算机科学) 动作语义 证明理论语义学 计算语义学 程序设计语言 形式语义学(语言学) 理论计算机科学
作者
Wolfgang Dvořák,Sarah Alice Gaggl
出处
期刊:Journal of Logic and Computation [Oxford University Press]
卷期号:26 (4): 1149-1202 被引量:31
标识
DOI:10.1093/logcom/exu006
摘要

Journal Article Stage semantics and the SCC-recursive schema for argumentation semantics Get access Wolfgang Dvořák, Wolfgang Dvořák University of Vienna, Faculty of Computer Science, Vienna, Austria. E-mail: wolfgang.dvorak@univie.ac.at Search for other works by this author on: Oxford Academic Google Scholar Sarah Alice Gaggl Sarah Alice Gaggl Technische Universität Dresden, Institute of Artificial Intelligence, Computational Logic Group, Dresden, Germany. E-mail: sarah.gaggl@tu-dresden.de Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 26, Issue 4, August 2016, Pages 1149–1202, https://doi.org/10.1093/logcom/exu006 Published: 13 February 2014 Article history Received: 29 April 2013 Published: 13 February 2014

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
英姑应助fxw采纳,获得10
刚刚
默_古月发布了新的文献求助10
1秒前
2秒前
爱在日月明完成签到,获得积分10
2秒前
Jasper应助qqqq采纳,获得10
2秒前
3秒前
4秒前
4秒前
耶耶耶完成签到,获得积分10
6秒前
冷静毛衣发布了新的文献求助20
6秒前
6秒前
cy发布了新的文献求助10
6秒前
6秒前
怡然的枕头完成签到,获得积分20
6秒前
6秒前
7秒前
7秒前
领导范儿应助jingtanhao采纳,获得10
8秒前
顺利山柏发布了新的文献求助10
8秒前
YunRyan发布了新的文献求助10
9秒前
10秒前
yyyyyyy发布了新的文献求助10
11秒前
李爱国应助123采纳,获得10
12秒前
12秒前
大圣发布了新的文献求助10
13秒前
NexusExplorer应助limbo采纳,获得10
14秒前
慈祥的梦露完成签到,获得积分10
15秒前
shsf完成签到,获得积分20
16秒前
19秒前
20秒前
学术猪八戒完成签到,获得积分10
20秒前
20秒前
梦想的颜色完成签到,获得积分20
20秒前
饼干发布了新的社区帖子
20秒前
21秒前
21秒前
缥缈雨兰发布了新的文献求助10
23秒前
whisper完成签到,获得积分10
24秒前
等待羿发布了新的文献求助10
25秒前
汉堡包应助眼睛大初翠采纳,获得10
25秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Modern Epidemiology, Fourth Edition 5000
Kinesiophobia : a new view of chronic pain behavior 5000
Molecular Biology of Cancer: Mechanisms, Targets, and Therapeutics 3000
Digital Twins of Advanced Materials Processing 2000
Weaponeering, Fourth Edition – Two Volume SET 2000
Signals, Systems, and Signal Processing 610
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 纳米技术 化学工程 生物化学 物理 计算机科学 内科学 复合材料 催化作用 物理化学 光电子学 电极 冶金 细胞生物学 基因
热门帖子
关注 科研通微信公众号,转发送积分 6018248
求助须知:如何正确求助?哪些是违规求助? 7605646
关于积分的说明 16158476
捐赠科研通 5165797
什么是DOI,文献DOI怎么找? 2765030
邀请新用户注册赠送积分活动 1746581
关于科研通互助平台的介绍 1635307