Characterising and Explaining Inconsistency in Logic Programs

已完结

文献求助详情

标题	书籍（章节） Characterising and Explaining Inconsistency in Logic Programs 描述和解释逻辑程序中的不一致性相关领域计算机科学逻辑程序程序设计语言逻辑程序设计
网址	https://doi.org/10.1007/978-3-319-23264-5_39
DOI	10.1007/978-3-319-23264-5_39 doi
其它	期刊：Lecture notes in computer science 作者：Cláudia Schulz; Ken Satoh; Francesca Toni 出版日期：2015-01-01
求助人	mashibeo 在 2025-01-15 18:55:12 发布自法国，悬赏 30 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

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

有了科研通，下载文献真轻松！

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

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

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

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

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

实时播报: jiunuan上传了应助文件

1秒前; 英俊的铭的应助被李梦瑾采纳，获得10

2秒前; 今后上传了应助文件

3秒前; 完美世界上传了应助文件

3秒前; ms发布了新的文献求助10

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

5秒前; cocolu上传了应助文件

6秒前; 萧水白发布了新的文献求助100

7秒前; 夏蓉发布了新的文献求助10

7秒前; 流川枫给流川枫的求助进行了留言

11秒前; 爱听歌的悒完成签到，获得积分10

12秒前; iNk上传了应助文件

16秒前; JamesPei的应助被yinyue采纳，获得10

17秒前; 完美世界的应助被Linson采纳，获得10

18秒前; stacy完成签到，获得积分10

21秒前; 木九发布了新的文献求助10

22秒前; 老实莫言完成签到，获得积分10

23秒前; 华仔上传了应助文件

24秒前; QL发布了新的文献求助20

25秒前; 顺心的海菡完成签到，获得积分10

26秒前; JamesPei的应助被鬼见愁采纳，获得10

27秒前; SciGPT上传了应助文件

28秒前; Caden发布了新的文献求助10

28秒前; iNk的应助被羊羊羊采纳，获得10

29秒前; 上官若男上传了应助文件

31秒前; 萧水白发布了新的文献求助100

33秒前; 方越上传了应助文件

37秒前; 华仔上传了应助文件

37秒前; 陶醉的熊发布了新的文献求助10

37秒前; iNk上传了应助文件

38秒前; 科研通AI2S上传了应助文件

38秒前; dimples完成签到，获得积分10

39秒前; 易寒完成签到，获得积分10

41秒前; QL发布了新的文献求助10

42秒前; 冷静的十八发布了新的文献求助10

42秒前; 科研小李上传了应助文件

44秒前; cocolu的应助被CW采纳，获得10

44秒前; jingmishensi发布了新的文献求助10

44秒前; 小王发布了新的文献求助30

45秒前; QL完成签到，获得积分10

48秒前