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

Item hits: (Results 1-8 of 8)

Items/Page: Sort:
	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)
	Weight-based consistent query answering over inconsistent knowledge bases [期刊论文] KNOWLEDGE AND INFORMATION SYSTEMS, 2013-01-01, 卷号: 34, 期号: 2, 页码: 335-371 Du, Jianfeng; Qi, Guilin; Shen, Yi-Dong
	Update Summarization via Graph-Based Sentence Ranking [期刊论文] IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2013-01-01, 卷号: 25, 期号: 5, 页码: 1162-1174 Li, Xuan; Du, Liang; Shen, Yi-Dong
	towards practical abox abduction in large description logic ontologies [期刊论文] International Journal on Semantic Web and Information Systems, 2012-01-01, 卷号: 8, 期号: 2, 页码: 1-33 Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.
	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
	termination prediction for general logic programs [期刊论文] THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009-01-01, 卷号: 9, 期号: 6, 页码: 751-780 Shen Yi-Dong; De Schreye Danny; Voets Dean
	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
	reasoning with recursive loops under the plp framework [期刊论文] ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008-01-01, 卷号: 9, 期号: 4, 页码: - Shen Yi-Dong \|


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