State Key Laboratory of Computer Science
Institute of Software
| Chinese Academy of
Sciences | China
SELECTED PUBLICATIONS:Yi-Dong Shen and Thomas Eiter (2022) Considering Constraint Monotonicity and Foundedness in Answer Set Programming. The 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), Vienna, Austria, July 2022.
Hong Wu, Zhe Wang, Kewen Wang and Yi-Dong Shen (2022) Learning Typed Rules over Knowledge Graphs. The 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, July 2022.
Peng Zhou, Liang Du, Yi-Dong Shen and Xuejun Li (2021) Tri-Level Robust Clustering Ensemble with Multiple Graph Learning. The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), Vancouver, Canada, Feb. 2021.
Peng Zhou, Liang Du, Xinwang Liu, Yi-Dong Shen, Mingyu Fan and Xuejun Li (2021) Self-Paced Clustering Ensemble. IEEE Transactions on Neural Networks and Learning Systems (TNNLS), 32(4): 1497-1511.
Runwu Zhou and Yi-Dong Shen (2020) End-to-End Adversarial-Attention Network for Multi-Modal Clustering. IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR-20), Seattle, USA, June 2020.
Chong Liu, Xiaojun Chang and Yi-Dong Shen (2020) Unity Style Transfer for Person Re-Identification. IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR-20), Seattle, USA, June 2020.
Runwu Zhou, Xiaojun Chang, Lei Shi, Yi-Dong Shen, Yi Yang and Feiping Nie (2020) Person Reidentification via Multi-Feature Fusion With Adaptive Graph Learning. IEEE Transactions on Neural Networks and Learning Systems (TNNLS) 31 (5): 1592-1601.
Yi-Dong Shen and Thomas Eiter (2019) Determining Inference Semantics for Disjunctive Logic Programs. Artificial Intelligence (AIJ) 277: 1-28.
Hanmo Wang, Runwu Zhou and Yi-Dong Shen (2019) Bounding Uncertainty for Active Batch Selection. The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), Honolulu, Hawaii, USA, January 2019.
Peng Zhou, Yi-Dong Shen, Liang Du and Fan Ye (2019) Incremental Multi-View Support Vector Machine. The Nineteenth SIAM International Conference on Data Mining (SDM-19), Calgary, Canada, May 2019.
Peng Zhou, Yi-Dong Shen, Liang Du and Xuejun Li (2019) Incremental Multi-View Spectral Clustering. Knowledge-Based Systems (KBS) 174: 73-86.
Hanmo Wang, Xiaojun Chang, Lei Shi, Yi Yang and Yi-Dong Shen (2018) Uncertainty Sampling for Action Recognition via Maximizing Expected Average Precision. The Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18), Stockholm, Sweden, July 2018.
Lei Shi, Wayne Xin Zhao and Yi-Dong Shen (2017) Local Representative based Matrix Factorization for Cold Start Recommendation. ACM Transactions on Information Systems (TOIS) 36(2) 22:1-28.
Yi-Dong Shen and Thomas Eiter (2016) Evaluating Epistemic Negation in Answer Set Programming. Artificial Intelligence (AIJ) 237: 115-135.
Lian Wen, Kewen Wang, Yi-Dong Shen and Fangzhen Lin (2016) A Model for Phase Transition of Random Answer Set Programs. ACM Transactions on Computational Logic (TOCL) 17 (3).
Lei Shi and Yi-Dong Shen (2016) Diversifying Convex Transductive Experimental Design for Active Learning. The Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16), New York, USA, July 2016.
Liang Du and Yi-Dong Shen (2015) Unsupervised Feature Selection with Adaptive Structure Learning. The Twenty-First ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD-15), Sydney, Australia, August 2015.
Hanmo Wang, Liang Du, Lei Shi, Peng Zhou and Yi-Dong Shen (2015) Experimental Design With Multiple Kernels. The Fifteenth IEEE International Conference on Data Mining (ICDM-15), Atlantic City, USA, November 2015. (REGULAR paper, acceptance rate 9%)
Peng Zhou, Liang Du and Yi-Dong Shen (2015) An LLE based Heterogeneous Metric Learning for Crossmedia Retrieval. The Fifteenth SIAM International Conference on Data Mining (SDM-15), Vancouver, Canada, April 2015.
Peng Zhou, Liang Du, Hanmo Wang, Lei Shi and Yi-Dong Shen (2015) Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization. The Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15) , Buenos Aires, Argentina, July 2015.
Peng Zhou, Liang Du, Lei Shi, Hanmo Wang and Yi-Dong Shen (2015) Recovery of Corrupted Multiple Kernels for Clustering. The Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15) , Buenos Aires, Argentina, July 2015.
Liang Du, Peng Zhou, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang and Yi-Dong Shen (2015) Robust Multiple Kernel K-means using L2-1-norm. The Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15) , Buenos Aires, Argentina, July 2015.
Hanmo Wang, Liang Du, Peng Zhou, Lei Shi and Yi-Dong Shen (2015) Convex Batch Mode Active Sampling via alpha-relative Pearson Divergence. The Twenty-Nineth AAAI Conference on Artificial Intelligence (AAAI-15), Austin, Texas, USA, January 2015.
Jianfeng Du, Kewen Wang and Yi-Dong Shen (2015) Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. The Twenty-Nineth AAAI Conference on Artificial Intelligence (AAAI-15), Austin, Texas, USA, January 2015.
Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner and Jun Deng (2014) FLP Answer Set Semantics without Circular Justifications for General Logic Programs. Artificial Intelligence (AIJ) 213: 1-41.
Jianfeng Du, Kewen Wang and Yi-Dong Shen (2014) A Tractable Approach to ABox Abduction over Description Logic Ontologies. The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), Quebec City, Canada, July 2014: 1034-1040. (ORAL presentation paper)
Lei Shi, Shuming Shi, Chin-Yew Lin, Yi-Dong Shen, Yong Rui (2014) Unsupervised Template Mining for Semantic Category Understanding. The 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP-14), Doha, Qatar, October 2014: 799-809. (ORAL presentation paper)
Lei Shi, Liang Du and Yi-Dong Shen (2014) Robust Spectral Learning for Unsupervised Feature Selection. The Fourteenth IEEE International Conference on Data Mining (ICDM-14), Shenzhen, China, December 2014: 977-982.
Liang Du and Yi-Dong Shen (2013) Towards Robust Co-clustering. The Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13) , Beijing, China, August 2013: 1317-1322. (ORAL presentation paper, acceptance rate 195/1473 = 13%)
Liang Du, Zhiyong Shen, Xuan Li, Peng Zhou and Yi-Dong Shen (2013) Local and Global Discriminative Learning for Unsupervised Feature Selection. The Thirteenth IEEE International Conference on Data Mining (ICDM-13) , Dallas, USA, December 2013: 131-140. (REGULAR paper, acceptance rate 94/809 = 11.6%)
Xuan Li, Liang Du and Yi-Dong Shen (2013) Update Summarization via Graph-Based Sentence Ranking. IEEE Transactions on Knowledge and Data Engineering 25(5): 1162-1174.
Jianfeng Du, Guilin Qi and Yi-Dong Shen (2013) Weight-based Consistent Query Answering over Inconsistent SHIQ Knowledge Bases. Knowledge and Information Systems 34(2):335-371.
Yi-Dong Shen and Kewen Wang (2012) FLP Semantics without Circular Justifications for General Logic Programs. The Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), Toronto, Canada, July 2012: 821-827. Slides
Liang Du, Xuan Li and Yi-Dong Shen (2012) Robust Nonnegative Matrix Factorization via Half-Quadratic Minimization. The Twelfth IEEE International Conference on Data Mining (ICDM-12), Brussels, Belgium, December 2012: 201-210. (REGULAR paper, acceptance rate 81/756 = 10.7%)
Jianfeng Du, Guilin Qi, Yi-Dong Shen and Jeff Pan (2012) Towards Practical ABox Abduction in Large Description Logic Ontologies . International Journal on Semantic Web and Information Systems 8(2):1-33.
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen and Minyi Zhang (2012) The Loop Formula Based Semantics of Description Logic Programs. Theoretical Computer Science 415:60-85.
Jia-Huai You, Yi-Dong Shen and Kewen Wang (2012) Well-Supported Semantics for Logic Programs with Generalized Rules. in: Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNCS 7265:576-591.
Chenyan Xiong, T. F. Wang, W. K. Ding, Yi-Dong Shen and T. Y. Liu, (2012) Relational Click Prediction for Sponsored Search. The Fifth ACM International Conference on Web Search and Data Mining (WSDM-12), Seattle, USA, February 2012:493-502.
Yi-Dong Shen and Kewen Wang (2011) Extending Logic Programs with Description Logic Expressions for the Semantic Web. The Tenth International Semantic Web Conference (ISWC-11), Bonn, Germany, October 2011:633-648. Slides
Yi-Dong Shen (2011) Well-Supported Semantics for Description Logic Programs. The Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), Barcelona, Spain, July 2011:1081-1086. (ORAL presentation paper, acceptance rate 227/1325 = 17%) Slides
Jianfeng Du, Guilin Qi, Yi-Dong Shen and Jeff Pan (2011) Towards Practical ABox Abduction in Large OWL DL Ontologies. The Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11), San Francisco, USA, August 2011:1160-1165.
Xuan Li, Liang Du and Yi-Dong Shen (2011) Graph-Based Marginal Ranking for Update Summarization. The Eleventh SIAM International Conference on Data Mining (SDM-11), Arizona, USA, April 2011:486-497.
Nengfa Zhou, Yi-Dong Shen and Jia-Huai You (2011) Compiling Answer Set Programs into Event-Driven Action Rules. The Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-11), Vancouver, Canada, May 2011:376-381.
Yisong Wang, Jia-Huai You, Li-Yan Yuan and Yi-Dong Shen (2010) Loop Formulas for Description Logic Programs. Theory and Practice of Logic Programming 10(4-6):531-545.
Jun Sun, W. B. Zhao, J. W. Xue, Zhiyong Shen and Yi-Dong Shen (2010) Clustering with Feature Order Preferences. Intelligent Data Analysis 14(4):479-495.
Xuan Li, Yi-Dong Shen, Liang Du and Chenyan Xiong (2010) Exploiting Novelty, Coverage and Balance for Topic-Focused Multi-Document Summarization. The Nineteenth ACM International Conference on Information and Knowledge Management (CIKM-10) , Toronto, Canada, October 2010:1765-1768.
Zhiyong Shen, Liang Du, X. K. Shen, and Yi-Dong Shen (2010) Interval-Valued Matrix Factorization with Applications. The Tenth IEEE International Conference on Data Mining (ICDM-10) , Sydney, Australia, December 2010:1037-1042.
Yi-Dong Shen, Danny De Schreye and D. Voets (2009) Termination Prediction for General Logic Programs. Theory and Practice of Logic Programming 9(6):751-780.
The system, TPoLP: Termination Prediction of Logic Programs, is freely available. Except for five programs which break the experiment time limit, our prediction is 100% correct for all 296 benchmark programs of the Termination Competition 2007, of which eighteen programs cannot be proved by any of the existing state-of-the-art analyzers like AProVE07, NTI, Polytool and TALP.
Yi-Dong Shen, Jia-Huai You and Li-Yan Yuan (2009) Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms. Theory and Practice of Logic Programming 9(4):529-564.
Jianfeng Du, Guilin Qi, Jeff Pan and Yi-Dong Shen (2009) A Decomposition-based Approach to Optimizing Conjunctive Query Answering in OWL DL. The 8th International Semantic Web Conference (ISWC-09) , Washington D.C., USA, October 2009:146-162.
Zhiyong Shen, P. Luo, Jun Sun and Yi-Dong Shen (2009) Topic Modeling for Sequences of Temporal Activities. The Ninth IEEE International Conference on Data Mining (ICDM-09) , Florida, USA, December 2009:980-985.
Jun Sun, Zhiyong Shen, Bai Su and Yi-Dong Shen (2009) Regularized Local Reconstruction for Clustering. The Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-09), Bangkok, Thailand, April 2009:110-121.
Yi-Dong Shen and Jia-Huai You (2009) A Default Approach to Semantics of Logic Programs with Constraint Atoms. The Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-09), Potsdam, Germany, September 2009:277-289.
Yi-Dong Shen (2008) Reasoning with Recursive Loops under the PLP Framework. ACM Transactions on Computational Logic 9(4):27:1-31 [Editorial 2005][Editorial 2000].
Nengfa Zhou, T. Sato and Yi-Dong Shen (2008) Linear Tabling Strategies and Optimizations. Theory and Practice of Logic Programming 8(1):81-109.
Jianfeng Du and Yi-Dong Shen (2008) Computing Minimum Cost Diagnoses to Repair Populated DL-based Ontologies. The Seventeenth International World Wide Web Conference (WWW-08), Beijing, China, April 2008:565-574.
Jun Sun, Zhiyong Shen, H. Li and Yi-Dong Shen (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:456-471.
Jun Sun, W. B. Zhao, J. W. Xue, Zhiyong Shen and Yi-Dong Shen (2008) Clustering with Feature Order Preferences. The Tenth Pacific Rim International Conference on Artificial Intelligence (PRICAI-08) , Hanoi, Vietnam, December 2008:382-393. (Best Student Paper Runner-Up Award)
Zhiyong Shen, Jun Sun and Yi-Dong Shen (2008) Collective Latent Dirichlet Allocation. The Eighth IEEE International Conference on Data Mining (ICDM-08) , Pisa, Italy, December 2008:1019-1024.
Jia-Huai You, Li-Yan Yuan, Guohua Liu and Yi-Dong Shen (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:228-240.
Yi-Dong Shen and Jia-Huai You (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:483-488. (This paper was selected for both oral and special poster presentations (Details), acceptance rate 47/921 = 5%) Talk Slides
Yi-Dong Shen and Qiang Yang (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.
Yi-Dong Shen, Jia-Huai You and Li-Yan Yuan (2004) Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms. Theoretical Computer Science 328(3):271-287.
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, S. P. Shen and Qiang Yang (2003) A Dynamic Approach to Characterizing Termination of General Logic Programs. ACM Transactions on Computational Logic 4(4):417-430.
Yi-Dong Shen, Zhong Zhang and Qiang Yang (2002) Objective-Oriented Utility-Based Association Mining. The Second IEEE International Conference on Data Mining (ICDM-02), Maebashi City, Japan, December 2002.
Yi-Dong Shen, Li-Yan Yuan, and Jia-Huai You (2002) SLT-Resolution for the Well-Founded Semantics. Journal of Automated Reasoning 28(1):53-97.
Yi-Dong Shen, Li-Yan Yuan, and Jia-Huai You (2001) Loop Checks for Logic Programs with Functions. Theoretical Computer Science 266(1-2):441-461.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You and Nengfa Zhou (2001) Tabulated Resolution Based on Prolog Control Strategy. Theory and Practice of Logic Programming 1(1):71-103.
The above paper is the first paper accepted for publication in this official journal of the Association for Logic Programming [Leaflet] [Editorial].
Nengfa Zhou, Yi-Dong Shen, Li-Yan Yuan and Jia-Huai You (2001) Implementation of Linear-Tabling Mechanisms. Journal of Functional and Logic Programming 2001(10):1-17.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You and Nengfa Zhou (1999) Linear Tabulated Resolution for the Well-Founded Semantics. The Fifth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-99), Texas, USA, December 1999.
Yi-Dong Shen (1997) An Extended Variant of Atoms Loop Check for Positive Logic Programs. New Generation Computing 15(2):187-204.
Yi-Dong Shen (1996) Verifying Local Stratifiability of Logic Programs and Databases II. New Generation Computing 14(3):317-341.
Yi-Dong Shen (1992) Verifying Local Stratifiability of Logic Programs and Databases. New Generation Computing 11(1):23-46.
Book:
Fu Tong and Yi-Dong Shen (1992) Knowledge Engineering. Science Press, Beijing (in Chinese).
Liang Du, Xuan Li, and Yi-Dong Shen (2011) Cluster Ensembles via Weighted Graph Regularized Nonnegative Matrix Factorization. The Seventh International Conference on Advanced Data Mining and Applications (ADMA-11) , Beijing, China, December 2011: 215-228.
Liang Du, Xuan Li, and Yi-Dong Shen (2011) User Graph Regularized Pairwise Matrix Factorization for Item Recommendation. The Seventh International Conference on Advanced Data Mining and Applications (ADMA-11) , Beijing, China, December 2011: 372-385.
Yisong Wang, Jia-Huai You, Li-Yan Yuan, and Yi-Dong Shen (2010) Normal Description Logic Programs as Default Theories. International Conference Thirty Years of Nonmonotonic Reasoning (Nonmon@30) , Kentucky, USA, October 2010.
Zhiyong Shen, Jun Sun, Yi-Dong Shen and M. Li (2008) R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets. The Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-08) , Osaka, Japan, May 2008 .
Jianfeng Du, Guilin Qi, and Yi-Dong Shen (2008) Lexicographical Inference over Inconsistent DL-Based Ontologies. The Second International Conference on Web Reasoning and Rule Systems (RR-08), Karlsruhe, Germany, October 2008.
Jianfeng Du and Yi-Dong Shen (2007) Partitioning ABoxes Based on Converting DL to Plain Datalog. The Twentyth International Workshop on Description Logics (DL-07), Brixen-Bressanone, Italy, June 2007.
Yi-Dong Shen (1997) Disjunctive Logic and Semantics of Disjunctive Logic Programs. Science in China Series E 40(1):44-53.
Yi-Dong Shen (1997) A Heuristic Extension to Reiter's Diagnostic Theory. Science in China Series E 40(5):455-462.
Yi-Dong Shen (1992) On the Completed Database Semantics for Negation. Science in China Series A 35(12):1516-1528.
Yi-Dong Shen (1998) Extracting Schema from an OEM Database. Journal of Computer Science and Technology 13(4): 289-299.
Yi-Dong Shen (1992) A Fixpoint Approach to Stratified Databases. Database Technology 4(3):143-150.
CHINESE PUBLICATIONS
