Semi-stable semantics

已完结

文献求助详情

标题	Semi-stable semantics 半稳定语义学相关领域有根据的语义学保守扩展证明理论语义学扩展（谓词逻辑）语义学（计算机科学）稳定模型语义指称语义学操作语义答案集编程论证框架计算机科学数学逻辑程序设计理论计算机科学程序设计语言论证理论认识论哲学
网址	https://doi.org/10.1093/logcom/exr033
DOI	10.1093/logcom/exr033 doi
其它	期刊：Journal of logic and computation 作者：Martin Caminada; Walter Carnielli; Paul E. Dunne 出版日期：2011-09-14
求助人	mashibeo 在 2024-04-28 03:55:26 发布自法国，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

不忘初心，牢记使命，为科研工作者服务

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 论文查重

更新

大幅提高文件上传限制，最高150M (2024-4-1)

更新

新增期刊收藏功能 (2024-03-23)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: Lesley完成签到，获得积分10

刚刚; 科研通AI2.0上传了应助文件

1秒前; 自由完成签到，获得积分10

1秒前; 科研小班发布了新的文献求助10

2秒前; snow_dragon完成签到，获得积分10

2秒前; Jasper上传了应助文件

4秒前; jjsss完成签到，获得积分10

4秒前; 所所上传了应助文件

5秒前; xixi完成签到，获得积分10

5秒前; 今朝完成签到，获得积分10

5秒前; 大模型上传了应助文件

5秒前; 科研通AI2.0上传了应助文件

6秒前; 科研通AI2S的应助被Oceanstal采纳，获得10

6秒前; vivian发布了新的文献求助10

7秒前; 在水一方的应助被王ccccc采纳，获得10

9秒前; 专注若之完成签到，获得积分20

9秒前; wenwenwen666发布了新的文献求助30

11秒前; Jemma驳回了隐形曼青的应助

11秒前; 希望天下0贩的0的应助被cy采纳，获得10

12秒前; 拼搏依玉发布了新的文献求助10

12秒前; 养乐多完成签到，获得积分10

12秒前; jjsss发布了新的文献求助10

13秒前; 情怀的应助被vivian采纳，获得10

13秒前; 嘿咻完成签到，获得积分10

14秒前; 小蘑菇上传了应助文件

16秒前; 1548081774完成签到，获得积分10

17秒前; 酷波er的应助被科研通管家采纳，获得10

17秒前; 丘比特的应助被科研通管家采纳，获得10

17秒前; Singularity的应助被科研通管家采纳，获得20

17秒前; 所所的应助被科研通管家采纳，获得10

17秒前; pk的应助被科研通管家采纳，获得10

17秒前; 桐桐的应助被科研通管家采纳，获得10

17秒前; xiaomi的应助被科研通管家采纳，获得10

17秒前; 充电宝的应助被科研通管家采纳，获得10

17秒前; 852的应助被科研通管家采纳，获得10

17秒前; 慕青的应助被科研通管家采纳，获得10

17秒前; 852的应助被科研通管家采纳，获得10

17秒前; 酷波er的应助被科研通管家采纳，获得10

17秒前; 科研通管家关闭了piu的文献求助

18秒前; 桃子陶子月完成签到，获得积分10

18秒前