CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
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
Crystallization deformation of a saline soil during freezing and thawing processes 期刊论文
2017, 卷号: 120, 页码: 463-473
作者:  Lai, Yuanming;  Wu, Daoyong;  Zhang, Mingyi
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/28
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
A Semantics of Poincuts in AspectJ 会议论文
Beijing, PEOPLES R CHINA, MAY 22-23, 2013
作者:  Xie, Gang;  Yang, Bo;  Zhang, Mingyi
收藏  |  浏览/下载：6/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
A Static Semantics for AspectJ 会议论文
海口, 2012-8-1
作者:  Xie Gang;  Zhang Mingyi;  Yang Bo
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/02
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

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