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

Item hits: (Results 1-6 of 6)

Items/Page: Sort:
	A Model for Phase Transition of Random Answer-Set Programs [期刊论文] ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016-01-01, 卷号: 17, 期号: 3 Wen, L; Wang, KW; Shen, YD; Lin, FZ \|
	Evaluating epistemic negation in answer set programming [期刊论文] ARTIFICIAL INTELLIGENCE, 2016-01-01, 卷号: 237, 页码: 115-135 Shen, YD; Eiter, T \|
	FLP answer set semantics without circular justifications for general logic programs [期刊论文] Artificial Intelligence, 2014-01-01, 卷号: 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)
	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
	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 \|
	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


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