Yi-Dong Shen

2009
41	EE	Jun Sun, Zhiyong Shen, Bai Su, Yi-Dong Shen: Regularized Local Reconstruction for Clustering. PAKDD 2009: 110-121
40	EE	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan: Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms CoRR abs/0904.4727: (2009)
2008
39	EE	Jun Sun, Zhiyong Shen, Hui Li, Yi-Dong Shen: Clustering Via Local Regression. ECML/PKDD (2) 2008: 456-471
38	EE	Zhiyong Shen, Jun Sun, Yi-Dong Shen: Collective Latent Dirichlet Allocation. ICDM 2008: 1019-1024
37	EE	Zhiyong Shen, Jun Sun, Yi-Dong Shen, Ming Li: R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets. PAKDD 2008: 992-998
36	EE	Jun Sun, Wenbo Zhao, Jiangwei Xue, Zhiyong Shen, Yi-Dong Shen: Clustering with Feature Order Preferences. PRICAI 2008: 382-393
35	EE	Jianfeng Du, Guilin Qi, Yi-Dong Shen: Lexicographical Inference over Inconsistent DL-Based Ontologies. RR 2008: 58-73
34	EE	Jianfeng Du, Yi-Dong Shen: Computing minimum cost diagnoses to repair populated DL-based ontologies. WWW 2008: 565-574
33	EE	Yi-Dong Shen: Reasoning with recursive loops under the PLP framework. ACM Trans. Comput. Log. 9(4): (2008)
32	EE	Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu: Basic research in computer science and software engineering at SKLCS. Frontiers of Computer Science in China 2(1): 1-11 (2008)
31	EE	Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear tabling strategies and optimizations. TPLP 8(1): 81-109 (2008)
2007
30		Yi-Dong Shen, Jia-Huai You: A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. AAAI 2007: 483-488
29	EE	Jianfeng Du, Yi-Dong Shen: Partitioning ABoxes Based on Converting DL to Plain Datalog. Description Logics 2007
28	EE	Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen: Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. LPNMR 2007: 228-240
27	EE	Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear Tabling Strategies and Optimizations CoRR abs/0705.3468: (2007)
26	EE	Yongguo Liu, Xiaorong Pu, Yi-Dong Shen, Zhang Yi, Xiaofeng Liao: Clustering Using an Improved Hybrid Genetic Algorithm. International Journal on Artificial Intelligence Tools 16(6): 919-934 (2007)
2005
25	EE	Yi-Dong Shen, Qiang Yang: Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. ILP 2005: 330-347
24	EE	Yi-Dong Shen, Qiang Yang, Jia-Huai You, Li-Yan Yuan: Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops CoRR abs/cs/0506095: (2005)
23	EE	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan: Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms CoRR abs/cs/0507035: (2005)
22	EE	Yi-Dong Shen, Danny De Schreye: Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach CoRR abs/cs/0512055: (2005)
2004
21	EE	Yi-Dong Shen, Zhiyong Shen, Shi-Ming Zhang, Qiang Yang: Cluster Cores-Based Clustering for High Dimensional Data. ICDM 2004: 519-522
20	EE	Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato: Semi-naive evaluation in linear tabling. PPDP 2004: 90-97
19	EE	Yanchang Zhao, Chengqi Zhang, Yi-Dong Shen: Clustering High-Dimensional Data with Low-Order Neighbors. Web Intelligence 2004: 103-109
2003
18	EE	Raymond Chan, Qiang Yang, Yi-Dong Shen: Mining High Utility Itemsets. ICDM 2003: 19-26
17	EE	Yi-Dong Shen, Qiang Yang, Zhong Zhang, Hongjun Lu: Mining the Customer's Up-To-Moment Preferences for E-commerce Recommendation. PAKDD 2003: 166-177
16	EE	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang: A dynamic approach to characterizing termination of general logic programs. ACM Trans. Comput. Log. 4(4): 417-430 (2003)
2002
15	EE	Yi-Dong Shen, Zhong Zhang, Qiang Yang: Objective-Oriented Utility-Based Association Mining. ICDM 2002: 426-433
14	EE	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang: A Dynamic Approach to Characterizing Termination of General Logic Programs CoRR cs.LO/0204031: (2002)
13		Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics. J. Autom. Reasoning 28(1): 53-97 (2002)
2001
12		Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. Journal of Functional and Logic Programming 2001(10): (2001)
11		Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear tabulated resolution based on Prolog control strategy. TPLP 1(1): 71-103 (2001)
10	EE	Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Loop checks for logic programs with functions. Theor. Comput. Sci. 266(1-2): 441-461 (2001)
2000
9	EE	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123
8	EE	Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics CoRR cs.AI/0002016: (2000)
7	EE	Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolution Based on Prolog Control Strategy CoRR cs.AI/0003046: (2000)
6	EE	Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Verifying Termination of General Logic Programs with Concrete Queries CoRR cs.AI/0006031: (2000)
1999
5		Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: A Linear Tabling Mechanism. ICLP 1999: 618
4	EE	Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205
1997
3		Yi-Dong Shen: An Extended Variant of Atoms Loop Check for Positive Logic Programs. New Generation Comput. 15(2): 187-204 (1997)
1996
2		Yi-Dong Shen: Verifying Local Stratifiability of Logic Programs and Databases II. New Generation Comput. 14(3): 317-341 (1996)
1992
1		Yi-Dong Shen: Verifying Local Stratifiability of Logic Programs and Databases. New Generation Comput. 11(1): 23-46 (1992)

Coauthor Index

1	Raymond Chan	[18]
2	Haiming Chen	[32]
3	Jianfeng Du	[29] [34] [35]
4	Hui Li	[39]
5	Ming Li	[37]
6	Xiaofeng Liao	[26]
7	Guohua Liu	[28]
8	Yongguo Liu	[26]
9	Hongjun Lu	[17]
10	Xiaorong Pu	[26]
11	Guilin Qi	[35]
12	Taisuke Sato	[20] [27] [31]
13	Danny De Schreye	[22]
14	Samuel S. P. Shen	[14] [16]
15	Zhiyong Shen	[21] [36] [37] [38] [39] [41]
16	Bai Su	[41]
17	Jun Sun	[36] [37] [38] [39] [41]
18	Hongan Wang	[32]
19	Yongji Wang	[32]
20	Enhua Wu	[32]
21	Jiangwei Xue	[36]
22	Qiang Yang	[14] [15] [16] [17] [18] [21] [24] [25]
23	Zhang Yi	[26]
24	Jia-Huai You	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [23] [24] [28] [30] [40]
25	Li-Yan Yuan	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [23] [24] [28] [40]
26	Naijun Zhan	[32]
27	Chengqi Zhang	[19]
28	Jian Zhang	[32]
29	Shi-Ming Zhang	[21]
30	Wenhui Zhang	[32]
31	Yunquan Zhang	[32]
32	Zhong Zhang	[15] [17]
33	Wenbo Zhao	[36]
34	Yanchang Zhao	[19]
35	Neng-Fa Zhou	[4] [5] [7] [9] [11] [12] [20] [27] [31]
36	Xueyang Zhu	[32]

Colors in the list of coauthors