Shen, Y. D. (2008) Reasoning with Recursive Loops under the PLP Framework. ACM Transactions on Computational Logic 9(4):27:1-31.
Du, J. F. and Shen, Y. D. (2008) Computing Minimum Cost Diagnoses to Repair Populated DL-based Ontologies. The Seventeenth International World Wide Web Conference (WWW-08), Beijing, China, April 2008.
Zhou, N. F., Sato, T. and Shen, Y. D. (2008) Linear Tabling Strategies and Optimizations. Theory and Practice of Logic Programming 8(1):81-109.
Sun, J., Shen, Z. Y., Li, H., and Shen, Y. D. (2008) Clustering Via Local Regression. The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD-08), Antwerp, Belgium, September 2008.
Sun, J., Zhao, W. B., Xue, J. W., Shen, Z. Y., and Shen, Y. D. (2008) Clustering with Feature Order Preferences . The Tenth Pacific Rim International Conference on Artificial Intelligence (PRICAI-08) , Hanoi, Vietnam, December 2008 (Best Student Paper Runner-Up Award).
Shen, Z. Y., Sun, J., and Shen, Y. D. (2008) Collective Latent Dirichlet Allocation. The Eighth IEEE International Conference on Data Mining (ICDM-08) , Pisa, Italy, December 2008.
Shen, Y. D. and You, J. H. (2007) A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. The Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07), Vancouver, Canada, July 2007.
You, J. H., Yuan, L. Y., Liu, G. H. and Shen, Y. D. (2007) Logic Programs with Abstract Constraints: Representation, Disjunction, and Complexities. The Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-07) , Arizona, USA, May 2007.
Shen, Y. D. and Yang, Q. (2005) Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. The Fifteenth International Conference on Inductive Logic Programming (ILP-05), Bonn, Germany, August 2005.
Shen, Y. D., You, J. H. and Yuan, L. Y. (2004) Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms. Theoretical Computer Science 328(3):271-287.
Shen, Y. D., Shen, Z. Y., Zhang, S. M. and Yang, Q. (2004) Cluster Cores-based Clustering for High Dimensional Data. The Fourth IEEE International Conference on Data Mining (ICDM-04), Brighton, UK, November 2004.
Zhou, N. F., Shen, Y. D. and Sato, T. (2004) Semi-naive Evaluation in Linear Tabling. The 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP-04), Verona, Italy, August 2004.
Shen, Y. D., You, J. H. , Yuan, L. Y. Shen, S. P. and Yang, Q. (2003) A Dynamic Approach to Characterizing Termination of General Logic Programs. ACM Transactions on Computational Logic 4(4):417-430.
Chan, R., Yang, Q. and Shen, Y. D. (2003) Mining High Utility Itemsets. The Third IEEE International Conference on Data Mining (ICDM-03), Florida, USA, November 2003.
Shen, Y. D., Yang, Q. and Zhang, Z., Objective-Oriented Utility-Based Association Mining. The Second IEEE International Conference on Data Mining (ICDM-02), Maebashi City, Japan, December, 2002.
Shen, Y.D., Yuan, L.Y., You, J.H., SLT-resolution for the well founded semantics. Journal of Automated Reasoning 28:53-87 (2002).
Shen, Y.D., Yuan, L.Y., You, J.H., Loop checks for logic programs with functions. Theoretical Computer Science 266(1-2):441-461 (2001).
Shen, Y.D., Yuan, L.Y., You, J.H., Zhou, N.F., Linear tabulated resolution based on Prolog control strategy. Theory and Practice of Logic Programming 1(1):71-103 (2001).
Zhou, N.F., Shen, Y.D., Yuan, L.Y., You, J.H., Implementation of linear-tabling mechanisms. Journal of Functional and Logic Programming 10:1-17 (2001).
Shen, Y.D., Yuan, L.Y., You, J.H., Zhou, N.F., Linear tabulated resolution for the well founded semantics. Proc. of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-99), Texas USA, December 1999.
Shen, Y.D., An extended variant of atoms loop check for positive logic programs. New Generation Computing 15:2 (1997).
Shen, Y.D., Verifying local stratifiability of logic programs and databases II. New Generation Computing 14:3 (1996).
Shen, Y.D., Verifying local stratifiability of logic programs and databases. New Generation Computing 11:1 (1992).
Shen, Y.D., Disjunctive logic and semantics of disjunctive logic programs. Science in China Series E, 40:1 (1997).
Shen, Y.D., A heuristic extension to Reiter's diagnostic theory. Science in China Series E, 40:5 (1997).
Shen, Y.D., On the completed database semantics for negation. Science in China Series A, 35:12 (1992).
童頫，沈一栋, 知识工程，《科学出版社》，1992。 |
