×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
贵州大学 [17]
内容类型
会议论文 [13]
期刊论文 [4]
发表日期
2017 [1]
2014 [2]
2013 [2]
2012 [3]
2011 [3]
2010 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共17条，第1-10条
帮助
限定条件
专题：贵州大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Learning disjunctive logic programs from interpretation transition
会议论文
London, United kingdom, September 4, 2016 - September 6, 2016
作者:
Huang, Yi
;
Wang, Yisong
;
Zhang, Ying
;
Zhang, Mingyi
收藏
|
浏览/下载：2/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
Forgetting for answer set programs revisited
会议论文
Beijing, China, August 3, 2013 - August 9, 2013
作者:
Wang, Yisong
;
Wang, Kewen
;
Zhang, Mingyi
收藏
|
浏览/下载：1/0
|
提交时间：2020/01/02
Embedding functions into disjunctive logic programs
会议论文
Shanghai, China, September 4, 2013 - September 6, 2013
作者:
Wang, Yisong
;
You, Jia-Huai
;
Zhang, Mingyi
收藏
|
浏览/下载：2/0
|
提交时间：2019/12/31
Forgetting in logic programs under strong equivalence
会议论文
Rome, Italy, June 10, 2012 - June 14, 2012
作者:
Wang, Yisong
;
Zhang, Yan
;
Zhou, Yi
;
Zhang, Mingyi
收藏
|
浏览/下载：3/0
|
提交时间：2020/01/02
A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms
会议论文
Toronto, ON, Canada, July 22, 2012 - July 26, 2012
作者:
Wang, Yisong
;
Lin, Fangzhen
;
Zhang, Mingyi
;
You, Jia-Huai
收藏
|
浏览/下载：2/0
|
提交时间：2020/01/02
The loop formula based semantics of description logic programs
期刊论文
2012, 卷号: 415, 页码: 60-85
作者:
Wang, Yisong
;
You, Jia-Huai
;
Yuan, Li Yan
;
Shen, Yi-Dong
;
Zhang, Mingyi
收藏
|
浏览/下载：1/0
|
提交时间：2019/12/28
Answer Set Programming Modulo Theories
会议论文
Xian, PEOPLES R CHINA, AUG 20-21, 2011
作者:
Wang, Yisong
;
Zhang, Mingyi
收藏
|
浏览/下载：1/0
|
提交时间：2020/01/02
Constructing first-order loops of normal logic programs
会议论文
Shanghai, China, July 26, 2011 - July 28, 2011
作者:
Wang, Yisong
;
Zhang, Ying
;
Zhang, Mingyi
收藏
|
浏览/下载：5/0
|
提交时间：2020/01/05
©版权所有 ©2017 CSpace - Powered by
CSpace
