Semi-stable semantics

有根据的语义学 保守扩展 证明理论语义学 扩展(谓词逻辑) 语义学(计算机科学) 稳定模型语义 指称语义学 操作语义 答案集编程 论证框架 计算机科学 数学 逻辑程序设计 理论计算机科学 程序设计语言 论证理论 认识论 哲学
作者
Martin Caminada,Walter Carnielli,Paul E. Dunne
出处
期刊:Journal of Logic and Computation [Oxford University Press]
卷期号:22 (5): 1207-1254 被引量:131
标识
DOI:10.1093/logcom/exr033
摘要

Journal Article Semi-stable semantics Get access Martin W. A. Caminada, Martin W. A. Caminada Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg.E-mail: martin.caminada@uni.lu Search for other works by this author on: Oxford Academic Google Scholar Walter A. Carnielli, Walter A. Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy, Unicamp, Brazil.E-mail: walter.carnielli@cle.unicamp.br Search for other works by this author on: Oxford Academic Google Scholar Paul E. Dunne Paul E. Dunne Department of Computer Science, University of Liverpool, UK.E-mail: ped@csc.liv.ac.uk Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 22, Issue 5, October 2012, Pages 1207–1254, https://doi.org/10.1093/logcom/exr033 Published: 14 September 2011 Article history Received: 18 March 2010 Published: 14 September 2011
最长约 10秒,即可获得该文献文件

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

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
惊骢完成签到,获得积分10
刚刚
郝煜祺完成签到,获得积分10
刚刚
光亮萤完成签到,获得积分10
2秒前
2秒前
Even9完成签到,获得积分10
3秒前
3秒前
Damocles发布了新的文献求助10
3秒前
3秒前
懵懂的书蝶完成签到,获得积分20
3秒前
4秒前
Bsisoy完成签到,获得积分10
5秒前
酷波er应助Nancy2023采纳,获得10
5秒前
失眠傲白完成签到,获得积分10
6秒前
7秒前
研友_yLplPL发布了新的文献求助10
9秒前
奕奕完成签到,获得积分10
10秒前
kxx完成签到 ,获得积分10
11秒前
浪漫小阳发布了新的文献求助10
11秒前
。。。。。。完成签到,获得积分10
12秒前
Bingtao_Lian完成签到 ,获得积分10
13秒前
paradeYH完成签到,获得积分10
14秒前
空白完成签到,获得积分10
15秒前
小刘爱读文献完成签到 ,获得积分10
15秒前
15秒前
16秒前
留胡子的函完成签到,获得积分10
16秒前
可靠尔冬完成签到,获得积分10
17秒前
大模型应助柯柯柯柯柯柯采纳,获得10
17秒前
bakasha完成签到,获得积分10
19秒前
zzp完成签到,获得积分10
19秒前
20秒前
mzzq1993完成签到 ,获得积分10
20秒前
lijingwen发布了新的文献求助30
20秒前
20秒前
21秒前
可我叫100个苹果完成签到,获得积分10
21秒前
jiayourui应助二文钱采纳,获得10
21秒前
22秒前
zwenng完成签到,获得积分10
22秒前
可靠尔冬发布了新的文献求助10
22秒前
高分求助中
请在求助之前详细阅读求助说明!!!! 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
Bernd Ziesemer - Maos deutscher Topagent: Wie China die Bundesrepublik eroberte 500
A radiographic standard of reference for the growing knee 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 有机化学 工程类 生物化学 纳米技术 物理 内科学 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 电极 光电子学 量子力学
热门帖子
关注 科研通微信公众号,转发送积分 2479021
求助须知:如何正确求助?哪些是违规求助? 2141654
关于积分的说明 5459907
捐赠科研通 1864743
什么是DOI,文献DOI怎么找? 927024
版权声明 562915
科研通“疑难数据库(出版商)”最低求助积分说明 496023