| 2009 | ||
|---|---|---|
| 45 | Bai Su, Yi-Dong Shen: Maximum margin transfer learning. GEC Summit 2009: 957-960 | |
| 44 | Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen: A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL. International Semantic Web Conference 2009: 146-162 | |
| 43 | Yi-Dong Shen, Jia-Huai You: A Default Approach to Semantics of Logic Programs with Constraint Atoms. LPNMR 2009: 277-289 | |
| 42 | Jun Sun, Zhiyong Shen, Bai Su, Yi-Dong Shen: Regularized Local Reconstruction for Clustering. PAKDD 2009: 110-121 | |
| 41 | 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) | |
| 40 | Yi-Dong Shen, Danny De Schreye, Dean Voets: Termination Prediction for General Logic Programs CoRR abs/0905.2004: (2009) | |
| 2008 | ||
| 39 | Jun Sun, Zhiyong Shen, Hui Li, Yi-Dong Shen: Clustering Via Local Regression. ECML/PKDD (2) 2008: 456-471 | |
| 38 | Zhiyong Shen, Jun Sun, Yi-Dong Shen: Collective Latent Dirichlet Allocation. ICDM 2008: 1019-1024 | |
| 37 | 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 | Jun Sun, Wenbo Zhao, Jiangwei Xue, Zhiyong Shen, Yi-Dong Shen: Clustering with Feature Order Preferences. PRICAI 2008: 382-393 | |
| 35 | Jianfeng Du, Guilin Qi, Yi-Dong Shen: Lexicographical Inference over Inconsistent DL-Based Ontologies. RR 2008: 58-73 | |
| 34 | Jianfeng Du, Yi-Dong Shen: Computing minimum cost diagnoses to repair populated DL-based ontologies. WWW 2008: 565-574 | |
| 33 | Yi-Dong Shen: Reasoning with recursive loops under the PLP framework. ACM Trans. Comput. Log. 9(4): (2008) | |
| 32 | 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 | 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 | Jianfeng Du, Yi-Dong Shen: Partitioning ABoxes Based on Converting DL to Plain Datalog. Description Logics 2007 | |
| 28 | 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 | Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear Tabling Strategies and Optimizations CoRR abs/0705.3468: (2007) | |
| 26 | 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 | Yi-Dong Shen, Qiang Yang: Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. ILP 2005: 330-347 | |
| 24 | 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 | 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 | 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 | Yi-Dong Shen, Zhiyong Shen, Shi-Ming Zhang, Qiang Yang: Cluster Cores-Based Clustering for High Dimensional Data. ICDM 2004: 519-522 | |
| 20 | Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato: Semi-naive evaluation in linear tabling. PPDP 2004: 90-97 | |
| 19 | Yanchang Zhao, Chengqi Zhang, Yi-Dong Shen: Clustering High-Dimensional Data with Low-Order Neighbors. Web Intelligence 2004: 103-109 | |
| 2003 | ||
| 18 | Raymond Chan, Qiang Yang, Yi-Dong Shen: Mining High Utility Itemsets. ICDM 2003: 19-26 | |
| 17 | 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 | 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 | Yi-Dong Shen, Zhong Zhang, Qiang Yang: Objective-Oriented Utility-Based Association Mining. ICDM 2002: 426-433 | |
| 14 | 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 | 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 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123 | |
| 8 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics CoRR cs.AI/0002016: (2000) | |
| 7 | 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 | 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 | 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) | |