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

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

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
言言右完成签到,获得积分10
刚刚
刚刚
suan完成签到,获得积分10
1秒前
六六完成签到,获得积分10
1秒前
羊沛蓝完成签到,获得积分20
2秒前
2秒前
2秒前
8R60d8应助可yi采纳,获得10
4秒前
琮博发布了新的文献求助10
4秒前
NexusExplorer应助鱼儿会飞采纳,获得10
4秒前
5秒前
羊沛蓝发布了新的文献求助30
5秒前
5秒前
喵喵发布了新的文献求助10
6秒前
7秒前
8秒前
Mark发布了新的文献求助30
9秒前
王一二完成签到 ,获得积分10
9秒前
9秒前
西西里完成签到,获得积分20
9秒前
11秒前
烤肠发布了新的文献求助10
13秒前
14秒前
14秒前
14秒前
好运连连完成签到 ,获得积分10
15秒前
HHHHHHH完成签到,获得积分10
15秒前
jevon应助完美的海秋采纳,获得10
16秒前
16秒前
16秒前
裴荣华留下了新的社区评论
17秒前
17秒前
HHHHHHH发布了新的文献求助10
20秒前
我爱学习发布了新的文献求助10
20秒前
21秒前
柒z发布了新的文献求助10
21秒前
盛夏微凉发布了新的文献求助10
21秒前
Akim应助小白采纳,获得10
22秒前
22秒前
共享精神应助Mark采纳,获得10
23秒前
高分求助中
歯科矯正学 第7版(或第5版) 1004
The late Devonian Standard Conodont Zonation 1000
Semiconductor Process Reliability in Practice 1000
Smart but Scattered: The Revolutionary Executive Skills Approach to Helping Kids Reach Their Potential (第二版) 1000
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 700
Nickel superalloy market size, share, growth, trends, and forecast 2023-2030 600
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3238043
求助须知:如何正确求助?哪些是违规求助? 2883362
关于积分的说明 8230338
捐赠科研通 2551496
什么是DOI,文献DOI怎么找? 1379968
科研通“疑难数据库(出版商)”最低求助积分说明 648908
邀请新用户注册赠送积分活动 624545