A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence

已完结

文献求助详情

标题	A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence 神经符号人工智能的验证与确认、测试与评估综述相关领域计算机科学象征性的人工智能象征性执行符号人工智能符号轨迹评估过程（计算）意义（存在）人工智能系统理论计算机科学程序设计语言软件模型检查心理学精神分析心理治疗师
网址	https://doi.org/10.1109/tai.2024.3351798
DOI	10.1109/tai.2024.3351798 doi
其它	期刊：IEEE transactions on artificial intelligence 作者：Justus Renkhoff; Ke Feng; Marc Meier-Doernberg; Alvaro Velasquez; Houbing Song 出版日期：2024-08-01
求助人	hylimeng 在 2025-01-24 23:01:34 发布自湖南，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

该求助已完结，感谢关注

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

站在巨人的肩膀上，才更有可能跳的更远

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

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

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

活动

『应助活动周』获奖名单已公布 🔥 (2025-4-2)

更新

『中科院2025期刊分区』已更新 (2025-3-23)

更新

『即时热点』模块已上线 (2025-2-28)

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

实时播报: 剑来发布了新的文献求助10

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

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

4秒前; 情怀上传了应助文件

5秒前; 丘比特上传了应助文件

6秒前; 勤恳的雪卉完成签到，获得积分0

7秒前; 深情安青上传了应助文件

8秒前; 田様的应助被游手浩闲采纳，获得10

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

9秒前; 儒雅的夏山发布了新的文献求助10

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

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

9秒前; 我是老大的应助被积极的睫毛采纳，获得10

10秒前; 汉堡包的应助被可乐不珍珍采纳，获得10

11秒前; 剑来完成签到，获得积分20

11秒前; 领导范儿的应助被YY采纳，获得10

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

11秒前; 碳水大王发布了新的文献求助10

13秒前; 小许同学发布了新的文献求助10

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

15秒前; 田様上传了应助文件

15秒前; HEAUBOOK上传了应助文件

17秒前; XX完成签到，获得积分10

19秒前; 游手浩闲发布了新的文献求助10

19秒前; 楊子发布了新的文献求助20

23秒前; Yisa完成签到，获得积分10

26秒前; 科研通AI5的应助被Harry采纳，获得10

26秒前; 科目三的应助被长生采纳，获得10

26秒前; jenningseastera上传了应助文件

27秒前; 飘逸的烧鹅完成签到，获得积分10

32秒前; 科研通AI5上传了应助文件

32秒前; 英俊的铭上传了应助文件

33秒前; 在水一方的应助被星野爱采纳，获得10

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

35秒前; 领导范儿上传了应助文件

36秒前; 慕青上传了应助文件

37秒前; 冰魂的应助被仙妮宝贝采纳，获得10

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

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

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

40秒前