NeFut
EN
管理员登录
检索
关联标签：
#Logic
(10 篇匹配)
清除过滤 ✖
2026-07-15 22:00
[AI学术] 首次实现的模态逻辑在HOL中的深浅嵌入与自动化验证
#Logic
#Higher-Order Logic
#Modal Logic
2026-07-14 22:00
[AI学术] 颠覆认知的AGM类矛盾部分会聚扩展运算
#algorithm
#optimization
#Logic
2026-07-09 22:00
[核心技术] 逻辑与语言的颠覆性分离：MIT最新研究揭示思维的真相
#neuroscience
#Logic
#Cognitive
2026-06-15 22:00
[AI学术] 泥泞儿童难题的历史：知识与无知的博弈
#AI
#Artificial Intelligence
#Logic
2026-06-05 07:46
揭示绿眼睛问题的逻辑真谛
#algorithm
#Logic
#Common Knowledge
«
1
2
»
