|
已选(0)清除
条数/页： 排序方式： |
| A computational framework for Karl Popper's logic of scientific discovery 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 4, 页码: 10
作者: Li, Wei; Sui, Yuefei
  收藏 | 浏览/下载：37/0 | 提交时间：2019/12/10
belief revision logic of scientific discovery approximate deduction approximation algorithms feasible computation |
| A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文
中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101
作者: Li Wei; Sui Yuefei
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
科学发现 计算框架 逻辑 卡尔 近似推理 可满足性 近似算法 修订 |
| 无权访问的条目 学位论文
作者: 莫焕生
Adobe PDF(3027Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/06/23 |
| 无权访问的条目 学位论文
作者: 高兴宇
Adobe PDF(2606Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/06/24 |
| 无权访问的条目 学位论文
作者: 陈博
Adobe PDF(1537Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/01/19 |
| The sound and complete R-calculus for revising propositional theories 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2015, 卷号: 58, 期号: 9, 页码: 12
作者: Li Wei; Sui YueFei; Sun MeiYing
收藏 | 浏览/下载：38/0 | 提交时间：2019/12/13
belief revision R-calculus minimal change the AGM postulates the DP postulates |
| 无权访问的条目 学位论文
作者: 孙梅莹
Adobe PDF(724Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/01 |
| 无权访问的条目 学位论文
作者: 罗文娟
Adobe PDF(1241Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/10 |
| 无权访问的条目 学位论文
作者: 许达文
Adobe PDF(2612Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/19 |
| 无权访问的条目 学位论文
作者: 王东升
Adobe PDF(1987Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/06/26 |
