CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Review-based screening interface for improving users’ decision process in e-commerce 会议论文
14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, July 3, 2017 - July 6, 2017
作者:  Yan, Dongning;  Chen, Li
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/31
Design of mineral deposit prediction expert system based on GIS and answer set programming 其他
2016-01-01
Zhao, Zengyu; Chen, Huogen; Pan, Mao; Zhang, Zhihu
收藏  |  浏览/下载：8/0  |  提交时间：2017/12/03
Evaluating epistemic negation in answer set programming 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 237, 页码: 115-135
Shen, YD; Eiter, T
收藏  |  浏览/下载：13/0  |  提交时间：2016/12/09
A Model for Phase Transition of Random Answer-Set Programs 期刊论文
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 卷号: 17, 期号: 3
Wen, L; Wang, KW; Shen, YD; Lin, FZ
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/09
Design of Mineral Deposit Prediction Expert System Based on GIS and Answer Set Programming 其他
2015-01-01
Zhao, Zengyu; Chen, Huogen; Pan, Mao; Zhang, Zhihu
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
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
Representation and reasoning on RBAC: A nonmonotonic approach 其他
2013-01-01
Zhang, Wei; Lin, Zuoquan
收藏  |  浏览/下载：6/0  |  提交时间：2015/11/13
Eliminating nonmonotonic DL-atoms in description logic programs 会议论文
Mannheim, Germany, July 27, 2013 - July 29, 2013
作者:  Wang, Yisong;  Eiter, Thomas;  You, Jia-Huai;  Yuan, Liyan;  Shen, Yi-Dong
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/02
Belief change in nonmonotonic multi-context systems 会议论文
Corunna, Spain, September 15, 2013 - September 19, 2013
作者:  Wang, Yisong;  Zhuang, Zhiqiang;  Wang, Kewen
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/05
A sequential model for reasoning about bargaining in logic programs 会议论文
Corunna, Spain, September 15, 2013 - September 19, 2013
作者:  Chen, Wu;  Zhang, Dongmo;  Wu, Maonian
收藏  |  浏览/下载：6/0  |  提交时间：2020/01/05

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