CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
From Think Parallel to Think Sequential 期刊论文
SIGMOD RECORD, 2018, 卷号: 47, 页码: 15-22
作者:  Fan, Wenfei;  Cao, Yang;  Xu, Jingbo;  Yu, Wenyuan;  Wu, Yinghui
收藏  |  浏览/下载：17/0  |  提交时间：2019/12/30
Model checking computation tree logic over finite lattices 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Flexible Approximators for Approximating Fixpoint Theory 会议论文
29th Canadian Conference on Artificial Intelligence (AI), 2016-01-01
作者:  Liu, Fangfang[1];  Bi, Yi[2];  Chowdhury, Md. Solimul[3];  You, Jia-Huai[4];  Feng, Zhiyong[5]
收藏  |  浏览/下载：7/0  |  提交时间：2019/04/26
FLP answer set semantics without circular justifications for general logic programs 期刊论文
Artificial Intelligence, 2014, 卷号: 213, 页码: 1-41
Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)
收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16
Reasoning with vagueness in hybrid MKNF knowledge bases 期刊论文
Journal of Intelligent and Fuzzy Systems, 2014, 卷号: Vol.26 No.4, 页码: 1759-1770
作者:  Huang, SS;  Li, QG
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31
Efficient implementation of the Gutzwiller variational method 期刊论文
PHYSICAL REVIEW B, 2012, 卷号: 85, 期号: 3
Lanata, N; Strand, HUR; Dai, X; Hellsing, B
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17
容错的网络声明式程序 期刊论文
软件学报, 2012, 卷号: 23, 期号: 8, 页码: 1992-2001
汪芳
收藏  |  浏览/下载：8/0  |  提交时间：2013/09/17
Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266
作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan
收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30
利用相互增强关系迭代计算本体中概念与关系的重要性 期刊论文
2010, 2010
吴刚; 张阔; 李涓子; 王克宏; WU Gang; ZHANG Kuo; LI Juan-Zi; WANG Ke-Hong
收藏  |  浏览/下载：3/0
characterising probabilistic processes logically 会议论文
17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, Yogyakarta, Indonesia, 40826
Deng Yuxin; Van Glabbeek Rob
收藏  |  浏览/下载：3/0  |  提交时间：2011/03/31

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