Yi-Dong Shen

• Affiliations:

• Chongqing Univ., Chongqing, People's Republic of China;Chinese Academy of Sciences, Beijing, China;Chinese academy of sciences (email: ydshen@ios.ac.cn);State key laboratory of computer science, institute of software, chinese academy of sciences, beijing 100190, china (email: ydshen@ios.ac.cn);State key laboratory of computer science institute of software, chinese academy of sciences, china;State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China,Graduate University of Chinese Academy of Sciences, China,University of Chinese Academy ...

• Organizations:

• China Nat. Pet. Corp.;China Nat. Pet. Corp.;Corporate Research Beijing;Corporate Research Beijing;Service Software Chongqing Institute of ZTE Corporation;Chinese Academy of Sciences and Loongson Technologies Corporation Limited;Chongqing Univ.;Graduate University and Institute of Software;Graduate University of Chinese Academy of Sciences;

• Fields:
• logic program general logic program description logic program general logic normal DL logic program experimental result constraint atom answer set description logic programsDescription Logic function-free logic program

• An extended variant of atoms loop check for positive logic programs

  Yi-Dong Shen

  New Generation Computing

• A linear tabling mechanism

  Neng-Fa Zhou;Yi-Dong Shen;Li-Yan Yuan;Jia-Huai You

  Proceedings of the 1999 international conference on Logic programming

• Loop checks for logic programs with functions

  Yi-Dong Shen;Li-Yan Yuan;Jia-Huai You

  Theoretical Computer Science

• SLT-Resolution for the Well-Founded Semantics

  Yi-Dong Shen;Li-Yan Yuan;Jia-Huai You

  Journal of Automated Reasoning

• Implementation of a Linear Tabling Mechanism

  Neng-Fa Zhou;Yi-Dong Shen;Li-Yan Yuan;Jia-Huai You

  PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages

• Linear Tabulated Resolutions for the Well-Founded Semantics

  Yi-Dong Shen;Li-Yan Yuan;Jia-Huai You;Neng-Fa Zhou

  LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning

• A dynamic approach to characterizing termination of general logic programs

  Yi-Dong Shen;Jia-Huai You;Li-Yan Yuan;Samuel S. P. Shen;Qiang Yang

  ACM Transactions on Computational Logic (TOCL)

• Mining High Utility Itemsets

  Raymond Chan;Qiang Yang;Yi-Dong Shen

  ICDM '03 Proceedings of the Third IEEE International Conference on Data Mining

• Linear tabulated resolution based on Prolog control strategy

  Yi-Dong Shen;Li-Yan Yuan;Jia-Huai You;Neng-Fa Zhou

  Theory and Practice of Logic Programming

• Semi-naive evaluation in linear tabling

  Neng-Fa Zhou;Yi-Dong Shen;Taisuke Sato

  PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

• Clustering High-Dimensional Data with Low-Order Neighbors

  Yanchang Zhao;Chengqi Zhang;Yi-Dong Shen

  WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence

• Cluster Cores-Based Clustering for High Dimensional Data

  Yi-Dong Shen;Zhi-Yong Shen;Shi-Ming Zhang;Qiang Yang

  ICDM '04 Proceedings of the Fourth IEEE International Conference on Data Mining

• Linear tabling strategies and optimizations

  Neng-fa Zhou;Taisuke Sato;Yi-dong Shen

  Theory and Practice of Logic Programming

• Computing minimum cost diagnoses to repair populated DL-based ontologies

  Jianfeng Du;Yi-Dong Shen

  Proceedings of the 17th international conference on World Wide Web

• Reasoning with recursive loops under the PLP framework

  Yi-Dong Shen

  ACM Transactions on Computational Logic (TOCL)

• Clustering Via Local Regression

  Jun Sun;Zhiyong Shen;Hui Li;Yidong Shen

  ECML PKDD '08 Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II

• Lexicographical Inference over Inconsistent DL-Based Ontologies

  Jianfeng Du;Guilin Qi;Yi-Dong Shen

  RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems

• Clustering with Feature Order Preferences

  Jun Sun;Wenbo Zhao;Jiangwei Xue;Zhiyong Shen;Yidong Shen

  PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence

• Regularized Local Reconstruction for Clustering

  Jun Sun;Zhiyong Shen;Bai Su;Yidong Shen

  PAKDD '09 Proceedings of the 13th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining

• Maximum margin transfer learning

  Bai Su;Yi-Dong Shen

  Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation

• A Default Approach to Semantics of Logic Programs with Constraint Atoms

  Yi-Dong Shen;Jia-Huai You

  LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning

• A generalized gelfond-lifschitz transformation for logic programs with abstract constraints

  Yi-Dong Shen;Jia-Huai You

  AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1

• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

  Yi-dong Shen;Jia-huai You;Li-yan Yuan

  Theory and Practice of Logic Programming

• Topic Modeling for Sequences of Temporal Activities

  Zhiyong Shen;Ping Luo;Yuhong Xiong;Jun Sun;Yidong Shen

  ICDM '09 Proceedings of the 2009 Ninth IEEE International Conference on Data Mining

• A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL

  Jianfeng Du;Guilin Qi;Jeff Z. Pan;Yi-Dong Shen

  ISWC '09 Proceedings of the 8th International Semantic Web Conference

• Termination prediction for general logic programs

  Yi-dong Shen;Danny de Schreye;Dean Voets

  Theory and Practice of Logic Programming

• Termination prediction for general logic programs

  Yi-dong Shen;Danny de Schreye;Dean Voets

  Theory and Practice of Logic Programming

• Termination prediction for general logic programs

  Yi-dong Shen;Danny de Schreye;Dean Voets

  Theory and Practice of Logic Programming

• Logic programs with abstract constraints: representaton, disjunction and complexities

  Jia-Huai You;Li Yan Yuan;Guohua Liu;Yi-Dong Shen

  LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning

• Mining the customer's up-to-moment preferences for e-commerce recommendation

  Yi-Dong Shen;Qiang Yang;Zhong Zhang;Hongjun Lu

  PAKDD'03 Proceedings of the 7th Pacific-Asia conference on Advances in knowledge discovery and data mining

• R-map: mapping categorical data for clustering and visualization based on reference sets

  Zhi-Yong Shen;Jun Sun;Yi-Dong Shen;Ming Li

  PAKDD'08 Proceedings of the 12th Pacific-Asia conference on Advances in knowledge discovery and data mining

• Clustering with feature order preferences

  Jun Sun;Wenbo Zhao;Jiangwei Xue;Zhiyong Shen;Yidong Shen

  Intelligent Data Analysis - Artificial Intelligence

• Loop formulas for description logic programs

  Yisong Wang;Jia-huai You;Li yan Yuan;Yi-dong Shen

  Theory and Practice of Logic Programming

• Exploiting novelty, coverage and balance for topic-focused multi-document summarization

  Xuan Li;Yi-Dong Shen;Liang Du;Chen-Yan Xiong

  CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management

• Interval-valued Matrix Factorization with Applications

  Zhiyong Shen;Liang Du;Xukun Shen;Yidong Shen

  ICDM '10 Proceedings of the 2010 IEEE International Conference on Data Mining

• Compiling answer set programs into event-driven action rules

  Neng-Fa Zhou;Yi-Dong Shen;Jia-Huai You

  LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning

• Extending logic programs with description logic expressions for the semantic web

  Yi-Dong Shen;Kewen Wang

  ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I

• A Decomposition-Based Approach to OWL DL Ontology Diagnosis

  Jianfeng Du;Guilin Qi;Jeff Z. Pan;Yi-Dong Shen

  ICTAI '11 Proceedings of the 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence

• The loop formula based semantics of description logic programs

  Yisong Wang;Jia-Huai You;Li Yan Yuan;Yi-Dong Shen;Mingyi Zhang

  Theoretical Computer Science

• Relational click prediction for sponsored search

  Chenyan Xiong;Taifeng Wang;Wenkui Ding;Yidong Shen;Tie-Yan Liu

  Proceedings of the fifth ACM international conference on Web search and data mining

• Deriving a stationary dynamic bayesian network from a logic program with recursive loops

  Yi-Dong Shen;Qiang Yang

  ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming

• User graph regularized pairwise matrix factorization for item recommendation

  Liang Du;Xuan Li;Yi-Dong Shen

  ADMA'11 Proceedings of the 7th international conference on Advanced Data Mining and Applications - Volume Part II

• Cluster ensembles via weighted graph regularized nonnegative matrix factorization

  Liang Du;Xuan Li;Yi-Dong Shen

  ADMA'11 Proceedings of the 7th international conference on Advanced Data Mining and Applications - Volume Part I

• Well-supported semantics for description logic programs

  Yi-Dong Shen

  IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two

• Well-Supported semantics for logic programs with generalized rules

  Jia-Huai You;Yi-Dong Shen;Kewen Wang

  Correct Reasoning

• Towards Practical ABox Abduction in Large Description Logic Ontologies

  Jeff Z. Pan;Jianfeng Du;Guilin Qi;Yi-Dong Shen

  International Journal on Semantic Web & Information Systems

• Joint clustering and feature selection

  Liang Du;Yi-Dong Shen

  WAIM'13 Proceedings of the 14th international conference on Web-Age Information Management

• A self-supervised framework for clustering ensemble

  Liang Du;Yi-Dong Shen;Zhiyong Shen;Jianying Wang;Zhiwu Xu

  WAIM'13 Proceedings of the 14th international conference on Web-Age Information Management

• Towards robust co-clustering

  Liang Du;Yi-Dong Shen

  IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence