| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Yi-Dong Shen Raymond Chan , Qiang Yang , Yi-Dong Shen: Mining High Utility Itemsets. ICDM 2003 : 19-26 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 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) Yi-Dong Shen, Zhong Zhang , Qiang Yang : Objective-Oriented Utility-Based Association Mining. ICDM 2002 : 426-433 Yi-Dong Shen, Li-Yan Yuan , Jia-Huai You : SLT-Resolution for the Well-Founded Semantics. J. Autom. Reasoning 28 (1): 53-97 (2002) 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) 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) 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) Neng-Fa Zhou , Yi-Dong Shen, Li-Yan Yuan , Jia-Huai You : Implementation of a Linear Tabling Mechanism. PADL 2000 : 109-123 Neng-Fa Zhou , Yi-Dong Shen, Li-Yan Yuan , Jia-Huai You : A Linear Tabling Mechanism. ICLP 1999 : 618 Yi-Dong Shen, Li-Yan Yuan , Jia-Huai You , Neng-Fa Zhou : Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999 : 192-205 Yi-Dong Shen: An Extended Variant of Atoms Loop Check for Positive Logic Programs. New Generation Comput. 15 (2): 187-204 (1997) Yi-Dong Shen: Verifying Local Stratifiability of Logic Programs and Databases II. New Generation Comput. 14 (3): 317-341 (1996) Yi-Dong Shen: Verifying Local Stratifiability of Logic Programs and Databases. New Generation Comput. 11 (1): 23-46 (1992) 1 [ 14 ] 2 [ 13 ] 3 [ 12 ] 4 [ 11 ] [ 12 ] [ 13 ] [ 14 ] 5 [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 12 ] 6 [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 12 ] 7 [ 11 ] [ 13 ] 8 [ 4 ] [ 5 ] [ 6 ] [ 8 ] [ 9 ]  ©2004 Association for Computing Machinery |
