- 综合排序
- 最热优先
- 最新优先
- 来自专栏AI科技评论
对话IJCAI 11「卓越研究奖」得主Robert Kowalski
当时我的研究课题便是自动定理证明（automated theorem-proving），通过计算机使用符号逻辑来证明数理证明。
54020发布于 2019-06-23 - 来自专栏AI科技评论
为什么要将「知识图谱」追溯到1956年？
., The Use of Theorem-Proving Techniques in Question-Answering Systems, in: Proceedings of the 23rd ACM
1.3K10发布于 2019-12-22 - 来自专栏机器之心
用50多年时间，探索最令人困惑的复杂性理论知识极限
然后到了 1971 年，在被美国拒绝终身教职而转到多伦多大学后不到一年，复杂性理论研究者史蒂芬・库克（Stephen Cook）发表一项非凡的研究成果《The complexity of theorem-proving
58430编辑于 2023-10-29
时间不限
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号