| * | 2009 |
| 44 | EE | Bai Su,
Yi-Dong Shen:
Maximum margin transfer learning.
GEC Summit 2009: 957-960 |
| 43 | EE | Yi-Dong Shen,
Jia-Huai You:
A Default Approach to Semantics of Logic Programs with Constraint Atoms.
LPNMR 2009: 277-289 |
| 42 | EE | Jun Sun,
Zhiyong Shen,
Bai Su,
Yi-Dong Shen:
Regularized Local Reconstruction for Clustering.
PAKDD 2009: 110-121 |
| 41 | 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) |
| 40 | EE | Yi-Dong Shen,
Danny De Schreye,
Dean Voets:
Termination Prediction for General Logic Programs
CoRR abs/0905.2004: (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) |