QQ客服 官方微博 反馈留言

浏览/检索结果: 共9条，第1-9条 帮助 限定条件 专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A computational framework for Karl Popper's logic of scientific discovery 期刊论文 SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61 作者:  Li, Wei;  Sui, Yuefei 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 belief revision  logic of scientific discovery  approximate deduction  approximation algorithms  feasible computation   Revision with probability 期刊论文 Workshop on Program Verification, Automated Debugging and Symbolic Computation (PAS), 2017, 卷号: 80, 页码: 87-100 作者:  Jiang, Dongchen;  Li, Wei 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 Belief revision  Probability  Uncertainty   Revision with probability 会议论文 Workshop on Program Verification, Automated Debugging and Symbolic Computation (PAS), Beihang Univ, Beijing, PEOPLES R CHINA, 2017-05-01 作者:  Jiang, Dongchen;  Li, Wei 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30 Belief revision  Probability  Uncertainty   The sound and complete R-calculus for revising propositional theories 期刊论文 SCIENCE CHINA-INFORMATION SCIENCES, 2015, 卷号: 58 作者:  Li Wei;  Sui YueFei;  Sun MeiYing 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 belief revision  R-calculus  minimal change  the AGM postulates  the DP postulates   An R-Calculus for the Logic Programming 会议论文 International Conference on Computer Science and Information Technology (CSAIT), Kunming, PEOPLES R CHINA, 2014-01-01 作者:  Li, Wei;  Sui, Yuefei 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 Belief revision  R-calculus  AGM postulates  Maximal consistent subset   A sound and complete R-calculi with respect to contraction and minimal change 期刊论文 FRONTIERS OF COMPUTER SCIENCE, 2014, 卷号: 8, 页码: 184-191 作者:  Li, Wei;  Sui, Yuefei 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 belief revision  R-calculus  minimal change  contraction   The Sound and Complete R-Calculi with Respect to the Set-Based and Inference-Based Minimal Change 会议论文 PROCEEDINGS OF THE 2013 ASIA-PACIFIC COMPUTATIONAL INTELLIGENCE AND INFORMATION TECHNOLOGY CONFERENCE, 2013-01-01 作者:  Wei, Li;  Sui, Yuefei 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 Belief Revision  R-Calculus  Minimal Change  Contraction  Soundness and Completeness   A decomposition based algorithm for maximal contractions 期刊论文 FRONTIERS OF COMPUTER SCIENCE, 2013, 卷号: 7, 页码: 801-811 作者:  Jiang, Dongchen;  Li, Wei;  Luo, Jie;  Lou, Yihua;  Liao, Zhengzhong 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 belief change  maximal contraction  decomposing rules  revision algorithm   A representative model based algorithm for maximal contractions 期刊论文 SCIENCE CHINA-INFORMATION SCIENCES, 2013, 卷号: 56 作者:  Jiang DongChen;  Lou YiHua;  Jin Yi;  Luo Jie;  Li Wei 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 revision calculus  maximal contraction  belief change  assignment equivalence class  representative model