CORC

在结果中检索

CORC

浏览/检索结果: 共20条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Repairing mappings across biomedical ontologies by probabilistic reasoning and belief revision 期刊论文
KNOWLEDGE-BASED SYSTEMS, 2020, 卷号: 209, 页码: 21
作者:  Li, Weizhuo;  Zhang, Songmao
收藏  |  浏览/下载：17/0  |  提交时间：2021/01/14
Dynamic context-aware event recognition based on Markov logic networks (EI收录) 期刊论文
Sensors (Switzerland), 2017, 卷号: 17
作者:  Liu, Fagui[1];  Deng, Dacheng[1];  Li, Ping[1]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/24
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
概率纤维化模态逻辑的计算复杂性研究 学位论文
2012, 2012
吴垠
收藏  |  浏览/下载：2/0  |  提交时间：2016/02/14
probabilistic model checking on propositional projection temporal logic 会议论文
International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011, Kowloon, Hong kong, March 16,
Yang Xiaoxiao
收藏  |  浏览/下载：8/0  |  提交时间：2011/10/10
PrDLs: A new kind of probabilistic description logics about belief 其他
2007-01-01
Tao, Jia; Wen, Zhao; Hanpin, Wang; Lifu, Wang
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/17
PrSH: A belief description logic 其他
2007-01-01
Jia, Tao; Zhao, Wen; Wang, Lifu
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
PrDLs: A new kind of probabilistic description logics about belief 其他
2007-01-01
Jia, Tao; Zhao, Wen; Wang, Hanpin; Wang, Lifu
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
A modal logic for beliefs and pro attitudes 其他
2007-01-01
Su, Kaile; Sattar, Abdul; Lin, Han; Reynolds, Mark
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Theory of α-truth degrees in n-valued Gödel propositional logic 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2007, 卷号: 18, 期号: 1, 页码: 33-39
作者:  Li, Jun;  Wang, Guo-Jun
收藏  |  浏览/下载：2/0  |  提交时间：2020/11/14

©版权所有 ©2017 CSpace - Powered by CSpace