CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Homogenization for polynomial optimization with unbounded sets 期刊论文
MATHEMATICAL PROGRAMMING, 2022, 页码: 41
作者:  Huang, Lei;  Nie, Jiawang;  Yuan, Ya-Xiang
收藏  |  浏览/下载：8/0  |  提交时间：2023/02/07
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
Restricted Four-Valued Semantics for Answer Set Programming 其他
2016-01-01
Chen, Chen; Lin, Zuoquan
收藏  |  浏览/下载：1/0  |  提交时间：2017/12/03
LOGIC  
Evaluating epistemic negation in answer set programming 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 237, 页码: 115-135
Shen, YD; Eiter, T
收藏  |  浏览/下载：15/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
On Forgetting Postulates in Answer Set Programming 会议论文
Buenos Aires, ARGENTINA, JUL 25-31, 2015
作者:  Ji, Jianmin;  You, Jia-Huai;  Wang, Yisong
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/02
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)
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
An Integrated Framework for Semantic Service Composition using Answer Set Programming 期刊论文
2014, 卷号: 11, 期号: 4, 页码: 47-61
作者:  Yang, Yilong;  Yang, Jing;  Li, Xiaoshan;  Wang, Weiru
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/02
Knowledge forgetting in answer set programming 期刊论文
2014, 卷号: 50, 页码: 31-70
作者:  Wang, Yisong;  Zhang, Yan;  Zhou, Yi;  Zhang, Mingyi
收藏  |  浏览/下载：5/0  |  提交时间：2020/01/02
Knowledge Forgetting in Answer Set Programming 期刊论文
2014, 卷号: 50, 页码: 31-70
作者:  Wang, Yisong;  Zhang, Yan;  Zhou, Yi;  Zhang, Mingyi
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/28

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