| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Yi-Dong Shen 12 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 11 Yi-Dong Shen, Zhong Zhang , Qiang Yang : Objective-Oriented Utility-Based Association Mining. ICDM 2002 : 426-433 10 Yi-Dong Shen, Li-Yan Yuan , Jia-Huai You : SLT-Resolution for the Well-Founded Semantics. Journal of Automated Reasoning 28 (1): 53-97 (2002) 9 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) 8 Yi-Dong Shen, Li-Yan Yuan , Jia-Huai You : Loop checks for logic programs with functions. TCS 266 (1-2): 441-461 (2001) 7 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) 6 Neng-Fa Zhou , Yi-Dong Shen, Li-Yan Yuan , Jia-Huai You : Implementation of a Linear Tabling Mechanism. PADL 2000 : 109-123 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 3 Yi-Dong Shen: An Extended Variant of Atoms Loop Check for Positive Logic Programs. New Generation Computing 15 (2): 187-204 (1997) 2 Yi-Dong Shen: Verifying Local Stratifiability of Logic Programs and Databases II. New Generation Computing 14 (3): 317-341 (1996) 1 Yi-Dong Shen: Verifying Local Stratifiability of Logic Programs and Databases. New Generation Computing 11 (1): 23-46 (1992)  DiSC'03 © 2003 Association for Computing Machinery |
