Verifying Local Stratifiability of Logic Programs and Databases. - Yi-Dong Shen (New Gener. Comput., 1992)

A fixpoint semantics for stratified databases. - Yidong Shen (J. Comput. Sci. Technol., 1993)

On local stratifiability of logic programs and databases. - Yidong Shen; Fu Tong; Daijie Cheng (J. Comput. Sci. Technol., 1993)

Diagnostic problem solving using first principles and heuristics. - Yidong Shen; Mei Rong; Fu Tong (J. Comput. Sci. Technol., 1996)

Verifying Local Stratifiability of Logic Programs and Databases II. - Yi-Dong Shen (New Gener. Comput., 1996)

An Extended Variant of Atoms Loop Check for Positive Logic Programs. - Yi-Dong Shen (New Gener. Comput., 1997)

Extracting schema from an OEM database. - Yidong Shen (J. Comput. Sci. Technol., 1998)

A Linear Tabling Mechanism. - Neng-Fa Zhou; Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (ICLP, 1999)

Linear Tabulated Resolutions for the Well-Founded Semantics. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You; Neng-Fa Zhou (LPNMR, 1999)

A general scheme for formalizing defaults using the predicate ab(I, S). - Yidong Shen (J. Comput. Sci. Technol., 1999)

A theory of hybrid diagnosis. - Yidong Shen (J. Comput. Sci. Technol., 1999)

Verifying Termination of General Logic Programs with Concrete Queries - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (CoRR, 2000)

Implementation of a Linear Tabling Mechanism. - Neng-Fa Zhou; Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (J. Funct. Log. Program., 2001)

Loop checks for logic programs with functions. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (Theor. Comput. Sci., 2001)

Linear tabulated resolution based on Prolog control strategy. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You; Neng-Fa Zhou (Theory Pract. Log. Program., 2001)

Objective-Oriented Utility-Based Association Mining. - Yi-Dong Shen; Zhong Zhang; Qiang Yang 001 (ICDM, 2002)

SLT-Resolution for the Well-Founded Semantics. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (J. Autom. Reason., 2002)

Mining High Utility Itemsets. - Raymond Chan; Qiang Yang 001; Yi-Dong Shen (ICDM, 2003)

Mining the Customer's Up-To-Moment Preferences for E-commerce Recommendation. - Yi-Dong Shen; Qiang Yang 001; Zhong Zhang; Hongjun Lu (PAKDD, 2003)

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 001 (ACM Trans. Comput. Log., 2003)

Cluster Cores-Based Clustering for High Dimensional Data. - Yi-Dong Shen; Zhiyong Shen; Shi-Ming Zhang; Qiang Yang 001 (ICDM, 2004)

Semi-naive evaluation in linear tabling. - Neng-Fa Zhou; Yi-Dong Shen; Taisuke Sato (PPDP, 2004)

Clustering High-Dimensional Data with Low-Order Neighbors. - Yanchang Zhao; Chengqi Zhang; Yi-Dong Shen (Web Intelligence, 2004)

Enhancing global SLS-resolution with loop cutting and tabling mechanisms. - Yi-Dong Shen; Jia-Huai You; Li-Yan Yuan (Theor. Comput. Sci., 2004)

Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. - Yi-Dong Shen; Qiang Yang 001 (ILP, 2005)

Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops - Yi-Dong Shen; Qiang Yang 001; Jia-Huai You; Li-Yan Yuan (CoRR, 2005)

Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach - Yi-Dong Shen; Danny De Schreye (CoRR, 2005)

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. - Yi-Dong Shen; Jia-Huai You (AAAI, 2007)

Partitioning ABoxes Based on Converting DL to Plain Datalog. - Jianfeng Du; Yi-Dong Shen (Description Logics, 2007)

Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. - Jia-Huai You; Li-Yan Yuan; Guohua Liu; Yi-Dong Shen (LPNMR, 2007)

Clustering Using an Improved Hybrid Genetic Algorithm. - Yongguo Liu; Xiaorong Pu; Yi-Dong Shen; Zhang Yi 001; Xiaofeng Liao 001 (Int. J. Artif. Intell. Tools, 2007)

Collective Latent Dirichlet Allocation. - Zhiyong Shen; Jun Sun; Yi-Dong Shen (ICDM, 2008)

R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets. - Zhiyong Shen; Jun Sun; Yi-Dong Shen; Ming Li (PAKDD, 2008)

Clustering Via Local Regression. - Jun Sun; Zhiyong Shen; Hui Li; Yi-Dong Shen (ECML/PKDD (2), 2008)

Lexicographical Inference over Inconsistent DL-Based Ontologies. - Jianfeng Du; Guilin Qi; Yi-Dong Shen (RR, 2008)

Computing minimum cost diagnoses to repair populated DL-based ontologies. - Jianfeng Du; Yi-Dong Shen (WWW, 2008)

Basic research in computer science and software engineering at SKLCS. - Jian Zhang 001; Wenhui Zhang; Naijun Zhan; Yi-Dong Shen; Haiming Chen 001; Yunquan Zhang; Yongji Wang; Enhua Wu; Hongan Wang; Xueyang Zhu (Frontiers Comput. Sci. China, 2008)

Reasoning with recursive loops under the PLP framework. - Yi-Dong Shen (ACM Trans. Comput. Log., 2008)

Linear tabling strategies and optimizations. - Neng-Fa Zhou; Taisuke Sato; Yi-Dong Shen (Theory Pract. Log. Program., 2008)

Maximum margin transfer learning. - Bai Su; Yi-Dong Shen (GEC Summit, 2009)

Topic Modeling for Sequences of Temporal Activities. - Zhiyong Shen; Ping Luo 001; Yuhong Xiong; Jun Sun; Yi-Dong Shen (ICDM, 2009)

Margin-Based Transfer Learning. - Bai Su; Wei Xu; Yi-Dong Shen (ISNN (4), 2009)

A Default Approach to Semantics of Logic Programs with Constraint Atoms. - Yi-Dong Shen; Jia-Huai You (LPNMR, 2009)

Regularized Local Reconstruction for Clustering. - Jun Sun; Zhiyong Shen; Bai Su; Yi-Dong Shen (PAKDD, 2009)

A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL. - Jianfeng Du; Guilin Qi; Jeff Z. Pan; Yi-Dong Shen (ISWC, 2009)

Termination prediction for general logic programs. - Yi-Dong Shen; Danny De Schreye; Dean Voets (Theory Pract. Log. Program., 2009)

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. - Yi-Dong Shen; Jia-Huai You; Li-Yan Yuan (Theory Pract. Log. Program., 2009)

Exploiting novelty, coverage and balance for topic-focused multi-document summarization. - Xuan Li; Yi-Dong Shen; Liang Du 003; Chen-Yan Xiong (CIKM, 2010)

Interval-valued Matrix Factorization with Applications. - Zhiyong Shen; Liang Du 003; Xukun Shen; Yi-Dong Shen (ICDM, 2010)

Clustering with feature order preferences. - Jun Sun; Wenbo Zhao 001; Jiangwei Xue; Zhiyong Shen; Yi-Dong Shen (Intell. Data Anal., 2010)

Data Clustering with Cat Swarm Optimization. - Yongguo Liu; Yi-Dong Shen (J. Convergence Inf. Technol., 2010)

Loop formulas for description logic programs. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen (Theory Pract. Log. Program., 2010)

Towards Practical ABox Abduction in Large OWL DL Ontologies. - Jianfeng Du; Guilin Qi; Yi-Dong Shen; Jeff Z. Pan (AAAI, 2011)

Cluster Ensembles via Weighted Graph Regularized Nonnegative Matrix Factorization. - Liang Du 003; Xuan Li; Yi-Dong Shen (ADMA (1), 2011)

User Graph Regularized Pairwise Matrix Factorization for Item Recommendation. - Liang Du 003; Xuan Li; Yi-Dong Shen (ADMA (2), 2011)

Probabilistic Multi-Context Systems. - Marco Sotomayor; Kewen Wang 001; Yi-Dong Shen; John Thornton 001 (JIST, 2011)

A Decomposition-Based Approach to OWL DL Ontology Diagnosis. - Jianfeng Du; Guilin Qi; Jeff Z. Pan; Yi-Dong Shen (ICTAI, 2011)

Well-Supported Semantics for Description Logic Programs. - Yi-Dong Shen (IJCAI, 2011)

Compiling Answer Set Programs into Event-Driven Action Rules. - Neng-Fa Zhou; Yi-Dong Shen; Jia-Huai You (LPNMR, 2011)

Graph-Based Marginal Ranking for Update Summarization. - Xuan Li; Liang Du 003; Yi-Dong Shen (SDM, 2011)

Extending Logic Programs with Description Logic Expressions for the Semantic Web. - Yi-Dong Shen; Kewen Wang 001 (ISWC (1), 2011)

Automatic clustering using genetic algorithms. - Yongguo Liu; Xindong Wu 001; Yi-Dong Shen (Appl. Math. Comput., 2011)

Embedding Description Logic Programs into Default Logic - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen; Thomas Eiter (CoRR, 2011)

FLP Semantics Without Circular Justifications for General Logic Programs. - Yi-Dong Shen; Kewen Wang 001 (AAAI, 2012)

Well-Supported Semantics for Logic Programs with Generalized Rules. - Jia-Huai You; Yi-Dong Shen; Kewen Wang 001 (Correct Reasoning, 2012)

Robust Nonnegative Matrix Factorization via Half-Quadratic Minimization. - Liang Du 003; Xuan Li; Yi-Dong Shen (ICDM, 2012)

Approximating Linear Order Inference in OWL 2 DL by Horn Compilation. - Jianfeng Du; Guilin Qi; Jeff Z. Pan; Yi-Dong Shen (Web Intelligence, 2012)

Relational click prediction for sponsored search. - Chenyan Xiong; Taifeng Wang; Wenkui Ding; Yidong Shen; Tie-Yan Liu (WSDM, 2012)

Towards Practical ABox Abduction in Large Description Logic Ontologies. - Jianfeng Du; Guilin Qi; Yi-Dong Shen; Jeff Z. Pan (Int. J. Semantic Web Inf. Syst., 2012)

The loop formula based semantics of description logic programs. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen; Mingyi Zhang 002 (Theor. Comput. Sci., 2012)

Local and Global Discriminative Learning for Unsupervised Feature Selection. - Liang Du 003; Zhiyong Shen; Xuan Li; Peng Zhou 006; Yi-Dong Shen (ICDM, 2013)

Towards Robust Co-Clustering. - Liang Du 003; Yi-Dong Shen (IJCAI, 2013)

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. - Yisong Wang; Thomas Eiter; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen (RR, 2013)

Joint Clustering and Feature Selection. - Liang Du 003; Yi-Dong Shen (WAIM, 2013)

A Self-Supervised Framework for Clustering Ensemble. - Liang Du 003; Yi-Dong Shen; Zhiyong Shen; Jianying Wang; Zhiwu Xu 001 (WAIM, 2013)

Heterogeneous Metric Learning for Cross-Modal Multimedia Retrieval. - Jun Deng; Liang Du 003; Yi-Dong Shen (WISE (1), 2013)

Weight-based consistent query answering over inconsistent $${ mathcal {SHIQ}}$$ knowledge bases. - Jianfeng Du; Guilin Qi; Yi-Dong Shen (Knowl. Inf. Syst., 2013)

Update Summarization via Graph-Based Sentence Ranking. - Xuan Li; Liang Du 003; Yi-Dong Shen (IEEE Trans. Knowl. Data Eng., 2013)

A Tractable Approach to ABox Abduction over Description Logic Ontologies. - Jianfeng Du; Kewen Wang 001; Yi-Dong Shen (AAAI, 2014)

Unsupervised Template Mining for Semantic Category Understanding. - Lei Shi 015; Shuming Shi 001; Chin-Yew Lin; Yi-Dong Shen; Yong Rui (EMNLP, 2014)

Robust Spectral Learning for Unsupervised Feature Selection. - Lei Shi 015; Liang Du 003; Yi-Dong Shen (ICDM, 2014)

FLP answer set semantics without circular justifications for general logic programs. - Yi-Dong Shen; Kewen Wang 001; Thomas Eiter; Michael Fink 001; Christoph Redl; Thomas Krennwallner; Jun Deng (Artif. Intell., 2014)

Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. - Jianfeng Du; Kewen Wang 001; Yi-Dong Shen (AAAI, 2015)

Convex Batch Mode Active Sampling via α-Relative Pearson Divergence. - Hanmo Wang; Liang Du 003; Peng Zhou 006; Lei Shi 015; Yi-Dong Shen (AAAI, 2015)

Fabrication of 3.1kV/10A 4H-SiC Junction Barrier Schottky Diodes. - Chengsen Wang; Hao Yuan; Qingwen Song; XiaoYan Tang; Renxu Jia; Yuming Zhang; Yimen Zhang; Yidong Shen (ASICON, 2015)

Experimental Design with Multiple Kernels. - Hanmo Wang; Liang Du 003; Peng Zhou 006; Lei Shi 015; Yuhua Qian; Yi-Dong Shen (ICDM, 2015)

Robust Multiple Kernel K-means Using L21-Norm. - Liang Du 003; Peng Zhou 006; Lei Shi 015; Hanmo Wang; Mingyu Fan; Wenjian Wang; Yi-Dong Shen (IJCAI, 2015)

Recovery of Corrupted Multiple Kernels for Clustering. - Peng Zhou 006; Liang Du 003; Lei Shi 015; Hanmo Wang; Yi-Dong Shen (IJCAI, 2015)

Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization. - Peng Zhou 006; Liang Du 003; Hanmo Wang; Lei Shi 015; Yi-Dong Shen (IJCAI, 2015)

Unsupervised Feature Selection with Adaptive Structure Learning. - Liang Du 003; Yi-Dong Shen (KDD, 2015)

An LLE based Heterogeneous Metric Learning for Cross-media Retrieval. - Peng Zhou 006; Liang Du 003; Mingyu Fan; Yi-Dong Shen (SDM, 2015)

Diversifying Convex Transductive Experimental Design for Active Learning. - Lei Shi 015; Yi-Dong Shen (IJCAI, 2016)

Evaluating epistemic negation in answer set programming. - Yi-Dong Shen; Thomas Eiter (Artif. Intell., 2016)

A Model for Phase Transition of Random Answer-Set Programs. - Lian Wen; Kewen Wang 001; Yi-Dong Shen; Fangzhen Lin (ACM Trans. Comput. Log., 2016)

Android App Classification and Permission Usage Risk Assessment. - Yidong Shen; Ming Xu 001; Ning Zheng 001; Jian Xu 001; Wenjing Xia; Yiming Wu 001; Tong Qiao; Tao Yang (CollaborateCom, 2017)

Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). - Yi-Dong Shen; Thomas Eiter (IJCAI, 2017)

Dual-Path Convolutional Image-Text Embedding. - Zhedong Zheng; Liang Zheng 001; Michael Garrett; Yi Yang 001; Yi-Dong Shen (CoRR, 2017)

Local Representative-Based Matrix Factorization for Cold-Start Recommendation. - Lei Shi 015; Wayne Xin Zhao; Yi-Dong Shen (ACM Trans. Inf. Syst., 2017)

RCAA: Relational Context-Aware Agents for Person Search. - Xiaojun Chang; Po-Yao Huang 001; Yi-Dong Shen; Xiaodan Liang; Yi Yang 001; Alexander G. Hauptmann (ECCV (9), 2018)

Uncertainty Sampling for Action Recognition via Maximizing Expected Average Precision. - Hanmo Wang; Xiaojun Chang; Lei Shi 015; Yi Yang 001; Yi-Dong Shen (IJCAI, 2018)

Bounding Uncertainty for Active Batch Selection. - Hanmo Wang; Runwu Zhou; Yi-Dong Shen (AAAI, 2019)

Incremental Multi-view Support Vector Machine. - Peng Zhou 006; Yi-Dong Shen; Liang Du 003; Fan Ye (SDM, 2019)

Determining inference semantics for disjunctive logic programs. - Yi-Dong Shen; Thomas Eiter (Artif. Intell., 2019)

Incremental multi-view spectral clustering. - Peng Zhou 006; Yi-Dong Shen; Liang Du 003; Fan Ye; Xuejun Li 001 (Knowl. Based Syst., 2019)

Unity Style Transfer for Person Re-Identification. - Chong Liu 002; Xiaojun Chang; Yi-Dong Shen (CVPR, 2020)

End-to-End Adversarial-Attention Network for Multi-Modal Clustering. - Runwu Zhou; Yi-Dong Shen (CVPR, 2020)

Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). - Yi-Dong Shen; Thomas Eiter (IJCAI, 2020)

Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming. - Yi-Dong Shen; Thomas Eiter (CoRR, 2020)

Unsupervised feature selection for balanced clustering. - Peng Zhou 006; Jiangyong Chen; Mingyu Fan; Liang Du 003; Yi-Dong Shen; Xuejun Li 001 (Knowl. Based Syst., 2020)

Unsupervised feature selection with adaptive multiple graph learning. - Peng Zhou 006; Liang Du 003; Xuejun Li 001; Yi-Dong Shen; Yuhua Qian (Pattern Recognit., 2020)

Person Reidentification via Multi-Feature Fusion With Adaptive Graph Learning. - Runwu Zhou; Xiaojun Chang; Lei Shi 015; Yi-Dong Shen; Yi Yang 001; Feiping Nie 001 (IEEE Trans. Neural Networks Learn. Syst., 2020)

Dual-path Convolutional Image-Text Embeddings with Instance Loss. - Zhedong Zheng; Liang Zheng 001; Michael Garrett; Yi Yang 001; Mingliang Xu 001; Yi-Dong Shen (ACM Trans. Multim. Comput. Commun. Appl., 2020)

Tri-level Robust Clustering Ensemble with Multiple Graph Learning. - Peng Zhou 006; Liang Du 003; Yi-Dong Shen; Xuejun Li 001 (AAAI, 2021)

City-Scale Multi-Camera Vehicle Tracking Guided by Crossroad Zones. - Chong Liu 002; Yuqi Zhang 001; Hao Luo 004; Jiasheng Tang; Weihua Chen; Xianzhe Xu; Fan Wang 019; Hao Li 030; Yi-Dong Shen (CVPR Workshops, 2021)

Vision-Language Navigation with Random Environmental Mixup. - Chong Liu 002; Fengda Zhu; Xiaojun Chang; Xiaodan Liang; Zongyuan Ge; Yi-Dong Shen (ICCV, 2021)

In-depth learning of automatic segmentation of shoulder joint magnetic resonance images based on convolutional neural networks. - Xinhong Mu; Yi Cui; Rongpeng Bian; Long Long; Daliang Zhang; Huawen Wang; Yidong Shen; Jingjing Wu; Guoyou Zou (Comput. Methods Programs Biomed., 2021)

Vision-Language Navigation with Random Environmental Mixup. - Chong Liu 002; Fengda Zhu; Xiaojun Chang; Xiaodan Liang; Yi-Dong Shen (CoRR, 2021)

Self-Paced Clustering Ensemble. - Peng Zhou 006; Liang Du 003; Xinwang Liu 002; Yi-Dong Shen; Mingyu Fan; Xuejun Li 001 (IEEE Trans. Neural Networks Learn. Syst., 2021)

Adaptive Matching Strategy for Multi-Target Multi-Camera Tracking. - Chong Liu 002; Yuqi Zhang 001; Weihua Chen; Fan Wang 019; Hao Li 030; Yi-Dong Shen (ICASSP, 2022)

Considering Constraint Monotonicity and Foundedness in Answer Set Programming. - Yi-Dong Shen; Thomas Eiter (IJCAI, 2022)

Learning Typed Rules over Knowledge Graphs. - Hong Wu; Zhe Wang 001; Kewen Wang 001; Yi-Dong Shen (KR, 2022)

Grayscale medical image segmentation method based on 2D&3D object detection with deep learning. - Yunfei Ge; Qing Zhang 011; Yuantao Sun; Yidong Shen; Xijiong Wang (BMC Medical Imaging, 2022)

A 3D reconstruction method based on multi-views of contours segmented with CNN-transformer for long bones. - Yunfei Ge; Qing Zhang 011; Yidong Shen; Yuantao Sun; Chongyang Huang (Int. J. Comput. Assist. Radiol. Surg., 2022)

Efficient Token-Guided Image-Text Retrieval With Consistent Multimodal Contrastive Training. - Chong Liu 002; Yuqi Zhang 001; Hongsong Wang; Weihua Chen; Fan Wang 019; Yan Huang 008; Yi-Dong Shen; Liang Wang 001 (IEEE Trans. Image Process., 2023)

Partial Clustering Ensemble. - Peng Zhou 006; Liang Du 003; Xinwang Liu 002; Zhaolong Ling; Xia Ji 002; Xuejun Li 001; Yi-Dong Shen (IEEE Trans. Knowl. Data Eng., 2024)

Refining Gelfond Rationality Principle Towards More Comprehensive Foundational Principles for Answer Set Semantics. - Yi-Dong Shen; Thomas Eiter (CoRR, 2025)