A Framework for Belief-based Programs and Their Verification

待确认

文献求助详情

标题	A Framework for Belief-based Programs and Their Verification
网址	https://jair.org/index.php/jair/article/download/15796/27144
DOI	10.1613/jair.1.15796 doi
其它	期刊：Journal of Artificial Intelligence Research 作者：Daxin Liu; Gerhard Lakemeyer 出版日期：2025-03-05
求助人	Eden 在 2026-10-14 18:36:41 发布自江苏，悬赏 10 积分
下载

上个求助

下个求助

提交工单

求助 / 应助时间线

请等待求助人确认

已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。
8小时前

乘11 Lv4 上传了文件

待审核 A Framework for Belief-based Programs and Their Verification.pdf (719.45 KB)

温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请提交工单反馈。
13小时前

科研通AI2.0 机器人未找到该文献，机器人已退出，请等待人工下载

18:36:47 未找到该文献，机器人已退出，请等待人工下载

18:36:43 科研通AI机器人（北京）收到请求，开始寻找文献

18:36:41 已向机器人发送请求
13小时前

Eden Lv1 求助人发起了本次求助

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

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

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

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

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

刚刚; wave完成签到，获得积分10

刚刚; 林狗的应助被cheney采纳，获得10

1秒前; orixero上传了应助文件

1秒前; 求知完成签到，获得积分10

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

2秒前; 甜美的绍辉完成签到，获得积分10

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

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

2秒前; 科研通管家关闭了希望之光小布朗的文献求助

3秒前; 蒋22完成签到，获得积分10

4秒前; 科研通AI6.4上传了应助文件

4秒前; 年轻小之完成签到，获得积分10

4秒前; 希望之光小布朗发布了新的文献求助10

4秒前; 兴奋冰绿完成签到，获得积分10

5秒前; 无聊物料完成签到，获得积分10

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

5秒前; 超人研究生完成签到，获得积分10

6秒前; 惜_完成签到，获得积分10

6秒前; 善良的冰绿完成签到，获得积分10

6秒前; 许玉鑫发布了新的文献求助10

6秒前; Owen上传了应助文件

6秒前; 苹果松完成签到，获得积分10

7秒前; 沉默念瑶完成签到，获得积分10

8秒前; 九月完成签到，获得积分10

8秒前; 研友_VZG7GZ的应助被MXR采纳，获得10

9秒前; 科研通AI6.2上传了应助文件

9秒前; 林狗的应助被cheney采纳，获得10

9秒前; LDX完成签到，获得积分10

9秒前; wwq完成签到，获得积分20

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

11秒前; 蛋挞发布了新的文献求助10

11秒前; sll完成签到，获得积分10

11秒前; chriswu1996完成签到，获得积分10

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

13秒前; 思源的应助被kxh采纳，获得10

14秒前; spring完成签到，获得积分10

14秒前; HermanCheney完成签到，获得积分10

14秒前; 新宇完成签到，获得积分20

14秒前; 谢雷XIELei的应助被许玉鑫采纳，获得10

15秒前