中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-8 of 8)

Items/Page: Sort:
	the loop formula based semantics of description logic programs [期刊论文] Theoretical Computer Science, 2011-01-01, 卷号: 415, 页码: - Yisong Wang; Jia-Huai You; Li Yan Yuan; Yi-Dong Shen; Mingyi Zhang
	compiling answer set programs into event-driven action rules [会议论文] 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, Vancouver, BC, Canada, 16-May-20 Zhou Neng-Fa; Shen Yi-Dong; You Jia-Huai \|
	loop formulas for description logic programs [会议论文] 26th International Conference on Logic Programming, Edinburgh, SCOTLAND, JUL 16-19, Wang Yisong; You Jia-Huai; Yuan Li Yan; Shen Yi-Dong \|
	a default approach to semantics of logic programs with constraint atoms [会议论文] 10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, GERMANY, SEP 14-18, Shen Yi-Dong; You Jia-Huai
	characterizations of stable model semantics for logic programs with arbitrary constraint atoms [期刊论文] THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009-01-01, 卷号: 9, 期号: 4, 页码: 529-564 Shen Yi-Dong; You Jia-Huai; Yuan Li-Yan
	logic programs with abstract constraints: representaton, disjunction and complexities [会议论文] 9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United states, 43966 You Jia-Huai; Yuan Li Yan; Liu Guohua; Shen Yi-Dong \|
	a generalized gelfond-lifschitz transformation for logic programs with abstract constraints [会议论文] AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference, Vancouver, BC, Canada, 37459 Shen Yi-Dong; You Jia-Huai \|
	enhancing global sls-resolution with loop cutting and tabling mechanisms [期刊论文] Theoretical Computer Science, 2004-01-01, 卷号: 328, 期号: 3, 页码: 271-287 Shen Yidong; Jia-Huai You; Li-Yan Yuan \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In