×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [8]
贵州大学 [6]
软件研究所 [5]
清华大学 [2]
华南理工大学 [2]
计算技术研究所 [1]
更多...
内容类型
会议论文 [11]
期刊论文 [8]
其他 [7]
学位论文 [1]
发表日期
2017 [1]
2016 [3]
2015 [1]
2014 [1]
2013 [6]
2011 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共27条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2016/12/09
Answer set programming
Epistemic negation
Semantics
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
Answer sets
random logic programs
phase transition
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
intelligent system
mineral deposit prediction
answer set programming
knowledge representation
reasoning
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
Answer set programming
Knowledge representation
Nonmonotonic reasoning
Logic programs with first-order formulas
Level mappings
Circular justifications
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