default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYidong Shen
Yi-Dong Shen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j45]Peng Zhou
, Liang Du, Xinwang Liu, Zhaolong Ling, Xia Ji, Xuejun Li, Yi-Dong Shen:
Partial Clustering Ensemble. IEEE Trans. Knowl. Data Eng. 36(5): 2096-2109 (2024)- 2023
- [j44]Chong Liu, Yuqi Zhang, Hongsong Wang, Weihua Chen, Fan Wang, Yan Huang, Yi-Dong Shen, Liang Wang:
Efficient Token-Guided Image-Text Retrieval With Consistent Multimodal Contrastive Training. IEEE Trans. Image Process. 32: 3622-3633 (2023) - [i19]Chong Liu, Yuqi Zhang, Hongsong Wang, Weihua Chen, Fan Wang, Yan Huang, Yi-Dong Shen, Liang Wang:
Efficient Token-Guided Image-Text Retrieval with Consistent Multimodal Contrastive Training. CoRR abs/2306.08789 (2023) - 2022
- [j43]Yunfei Ge, Qing Zhang, Yuantao Sun, Yidong Shen, Xijiong Wang:
Grayscale medical image segmentation method based on 2D&3D object detection with deep learning. BMC Medical Imaging 22(1): 33 (2022) - [j42]Yunfei Ge, Qing Zhang, Yidong Shen, Yuantao Sun, Chongyang Huang:
A 3D reconstruction method based on multi-views of contours segmented with CNN-transformer for long bones. Int. J. Comput. Assist. Radiol. Surg. 17(10): 1891-1902 (2022) - [c75]Chong Liu, Yuqi Zhang, Weihua Chen, Fan Wang, Hao Li, Yi-Dong Shen:
Adaptive Matching Strategy for Multi-Target Multi-Camera Tracking. ICASSP 2022: 2934-2938 - [c74]Yi-Dong Shen, Thomas Eiter:
Considering Constraint Monotonicity and Foundedness in Answer Set Programming. IJCAI 2022: 2741-2747 - [c73]Hong Wu, Zhe Wang, Kewen Wang, Yi-Dong Shen:
Learning Typed Rules over Knowledge Graphs. KR 2022 - 2021
- [j41]Xinhong Mu, Yi Cui, Rongpeng Bian, Long Long, Daliang Zhang, Huawen Wang, Yidong Shen, Jingjing Wu, Guoyou Zou:
In-depth learning of automatic segmentation of shoulder joint magnetic resonance images based on convolutional neural networks. Comput. Methods Programs Biomed. 211: 106325 (2021) - [j40]Peng Zhou, Liang Du, Xinwang Liu, Yi-Dong Shen, Mingyu Fan, Xuejun Li:
Self-Paced Clustering Ensemble. IEEE Trans. Neural Networks Learn. Syst. 32(4): 1497-1511 (2021) - [c72]Peng Zhou, Liang Du, Yi-Dong Shen, Xuejun Li:
Tri-level Robust Clustering Ensemble with Multiple Graph Learning. AAAI 2021: 11125-11133 - [c71]Chong Liu, Yuqi Zhang, Hao Luo, Jiasheng Tang, Weihua Chen, Xianzhe Xu, Fan Wang, Hao Li, Yi-Dong Shen:
City-Scale Multi-Camera Vehicle Tracking Guided by Crossroad Zones. CVPR Workshops 2021: 4129-4137 - [c70]Chong Liu, Fengda Zhu, Xiaojun Chang, Xiaodan Liang, Zongyuan Ge, Yi-Dong Shen:
Vision-Language Navigation with Random Environmental Mixup. ICCV 2021: 1624-1634 - [i18]Chong Liu, Yuqi Zhang, Hao Luo, Jiasheng Tang, Weihua Chen, Xianzhe Xu, Fan Wang, Hao Li, Yi-Dong Shen:
City-Scale Multi-Camera Vehicle Tracking Guided by Crossroad Zones. CoRR abs/2105.06623 (2021) - [i17]Chong Liu, Fengda Zhu, Xiaojun Chang, Xiaodan Liang, Yi-Dong Shen:
Vision-Language Navigation with Random Environmental Mixup. CoRR abs/2106.07876 (2021) - 2020
- [j39]Peng Zhou, Jiangyong Chen, Mingyu Fan, Liang Du, Yi-Dong Shen, Xuejun Li:
Unsupervised feature selection for balanced clustering. Knowl. Based Syst. 193: 105417 (2020) - [j38]Peng Zhou, Liang Du, Xuejun Li, Yi-Dong Shen, Yuhua Qian:
Unsupervised feature selection with adaptive multiple graph learning. Pattern Recognit. 105: 107375 (2020) - [j37]Runwu Zhou, Xiaojun Chang, Lei Shi, Yi-Dong Shen, Yi Yang, Feiping Nie:
Person Reidentification via Multi-Feature Fusion With Adaptive Graph Learning. IEEE Trans. Neural Networks Learn. Syst. 31(5): 1592-1601 (2020) - [j36]Zhedong Zheng, Liang Zheng, Michael Garrett, Yi Yang, Mingliang Xu, Yi-Dong Shen:
Dual-path Convolutional Image-Text Embeddings with Instance Loss. ACM Trans. Multim. Comput. Commun. Appl. 16(2): 51:1-51:23 (2020) - [c69]Chong Liu, Xiaojun Chang, Yi-Dong Shen:
Unity Style Transfer for Person Re-Identification. CVPR 2020: 6886-6895 - [c68]Runwu Zhou, Yi-Dong Shen:
End-to-End Adversarial-Attention Network for Multi-Modal Clustering. CVPR 2020: 14607-14616 - [c67]Yi-Dong Shen, Thomas Eiter:
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). IJCAI 2020: 5040-5044 - [i16]Chong Liu, Xiaojun Chang, Yi-Dong Shen:
Unity Style Transfer for Person Re-Identification. CoRR abs/2003.02068 (2020) - [i15]Yi-Dong Shen, Thomas Eiter:
Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming. CoRR abs/2010.00191 (2020)
2010 – 2019
- 2019
- [j35]Yi-Dong Shen, Thomas Eiter:
Determining inference semantics for disjunctive logic programs. Artif. Intell. 277 (2019) - [j34]Peng Zhou, Yi-Dong Shen, Liang Du, Fan Ye, Xuejun Li:
Incremental multi-view spectral clustering. Knowl. Based Syst. 174: 73-86 (2019) - [c66]Hanmo Wang, Runwu Zhou, Yi-Dong Shen:
Bounding Uncertainty for Active Batch Selection. AAAI 2019: 5240-5247 - [c65]Peng Zhou, Yi-Dong Shen, Liang Du, Fan Ye:
Incremental Multi-view Support Vector Machine. SDM 2019: 1-9 - 2018
- [c64]Xiaojun Chang, Po-Yao Huang, Yi-Dong Shen, Xiaodan Liang, Yi Yang, Alexander G. Hauptmann:
RCAA: Relational Context-Aware Agents for Person Search. ECCV (9) 2018: 86-102 - [c63]Hanmo Wang, Xiaojun Chang, Lei Shi, Yi Yang, Yi-Dong Shen:
Uncertainty Sampling for Action Recognition via Maximizing Expected Average Precision. IJCAI 2018: 964-970 - 2017
- [j33]Lei Shi, Wayne Xin Zhao, Yi-Dong Shen:
Local Representative-Based Matrix Factorization for Cold-Start Recommendation. ACM Trans. Inf. Syst. 36(2): 22:1-22:28 (2017) - [c62]Yidong Shen, Ming Xu, Ning Zheng, Jian Xu, Wenjing Xia, Yiming Wu, Tong Qiao, Tao Yang:
Android App Classification and Permission Usage Risk Assessment. CollaborateCom 2017: 567-577 - [c61]Yi-Dong Shen, Thomas Eiter:
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). IJCAI 2017: 5060-5064 - [i14]Zhedong Zheng, Liang Zheng, Michael Garrett, Yi Yang, Yi-Dong Shen:
Dual-Path Convolutional Image-Text Embedding. CoRR abs/1711.05535 (2017) - 2016
- [j32]Yi-Dong Shen, Thomas Eiter:
Evaluating epistemic negation in answer set programming. Artif. Intell. 237: 115-135 (2016) - [j31]Lian Wen, Kewen Wang, Yi-Dong Shen, Fangzhen Lin:
A Model for Phase Transition of Random Answer-Set Programs. ACM Trans. Comput. Log. 17(3): 22 (2016) - [c60]Lei Shi, Yi-Dong Shen:
Diversifying Convex Transductive Experimental Design for Active Learning. IJCAI 2016: 1997-2003 - 2015
- [c59]Jianfeng Du, Kewen Wang, Yi-Dong Shen:
Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. AAAI 2015: 1489-1495 - [c58]Hanmo Wang, Liang Du, Peng Zhou, Lei Shi, Yi-Dong Shen:
Convex Batch Mode Active Sampling via α-Relative Pearson Divergence. AAAI 2015: 3045-3051 - [c57]Chengsen Wang, Hao Yuan, Qingwen Song, XiaoYan Tang, Renxu Jia, Yuming Zhang, Yimen Zhang, Yidong Shen:
Fabrication of 3.1kV/10A 4H-SiC Junction Barrier Schottky Diodes. ASICON 2015: 1-3 - [c56]Hanmo Wang, Liang Du, Peng Zhou, Lei Shi, Yuhua Qian, Yi-Dong Shen:
Experimental Design with Multiple Kernels. ICDM 2015: 419-428 - [c55]Liang Du, Peng Zhou, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang, Yi-Dong Shen:
Robust Multiple Kernel K-means Using L21-Norm. IJCAI 2015: 3476-3482 - [c54]Peng Zhou, Liang Du, Lei Shi, Hanmo Wang, Yi-Dong Shen:
Recovery of Corrupted Multiple Kernels for Clustering. IJCAI 2015: 4105-4111 - [c53]Peng Zhou, Liang Du, Hanmo Wang, Lei Shi, Yi-Dong Shen:
Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization. IJCAI 2015: 4112-4118 - [c52]Liang Du, Yi-Dong Shen:
Unsupervised Feature Selection with Adaptive Structure Learning. KDD 2015: 209-218 - [c51]Peng Zhou, Liang Du, Mingyu Fan, Yi-Dong Shen:
An LLE based Heterogeneous Metric Learning for Cross-media Retrieval. SDM 2015: 64-72 - [i13]Liang Du, Yi-Dong Shen:
Unsupervised Feature Selection with Adaptive Structure Learning. CoRR abs/1504.00736 (2015) - 2014
- [j30]Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng:
FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213: 1-41 (2014) - [c50]Jianfeng Du, Kewen Wang, Yi-Dong Shen:
A Tractable Approach to ABox Abduction over Description Logic Ontologies. AAAI 2014: 1034-1040 - [c49]Lei Shi, Shuming Shi, Chin-Yew Lin, Yi-Dong Shen, Yong Rui:
Unsupervised Template Mining for Semantic Category Understanding. EMNLP 2014: 799-809 - [c48]Lei Shi, Liang Du, Yi-Dong Shen:
Robust Spectral Learning for Unsupervised Feature Selection. ICDM 2014: 977-982 - 2013
- [j29]Jianfeng Du, Guilin Qi, Yi-Dong Shen:
Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases. Knowl. Inf. Syst. 34(2): 335-371 (2013) - [j28]Xuan Li, Liang Du, Yi-Dong Shen:
Update Summarization via Graph-Based Sentence Ranking. IEEE Trans. Knowl. Data Eng. 25(5): 1162-1174 (2013) - [c47]Liang Du, Zhiyong Shen, Xuan Li, Peng Zhou, Yi-Dong Shen:
Local and Global Discriminative Learning for Unsupervised Feature Selection. ICDM 2013: 131-140 - [c46]Liang Du, Yi-Dong Shen:
Towards Robust Co-Clustering. IJCAI 2013: 1317-1322 - [c45]Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. RR 2013: 168-182 - [c44]Liang Du, Yi-Dong Shen:
Joint Clustering and Feature Selection. WAIM 2013: 241-252 - [c43]Liang Du, Yi-Dong Shen, Zhiyong Shen, Jianying Wang, Zhiwu Xu:
A Self-Supervised Framework for Clustering Ensemble. WAIM 2013: 253-264 - [c42]Jun Deng, Liang Du, Yi-Dong Shen:
Heterogeneous Metric Learning for Cross-Modal Multimedia Retrieval. WISE (1) 2013: 43-56 - 2012
- [j27]Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan:
Towards Practical ABox Abduction in Large Description Logic Ontologies. Int. J. Semantic Web Inf. Syst. 8(2): 1-33 (2012) - [j26]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang:
The loop formula based semantics of description logic programs. Theor. Comput. Sci. 415: 60-85 (2012) - [c41]Yi-Dong Shen, Kewen Wang:
FLP Semantics Without Circular Justifications for General Logic Programs. AAAI 2012: 821-827 - [c40]Jia-Huai You, Yi-Dong Shen, Kewen Wang:
Well-Supported Semantics for Logic Programs with Generalized Rules. Correct Reasoning 2012: 576-591 - [c39]Liang Du, Xuan Li, Yi-Dong Shen:
Robust Nonnegative Matrix Factorization via Half-Quadratic Minimization. ICDM 2012: 201-210 - [c38]Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen:
Approximating Linear Order Inference in OWL 2 DL by Horn Compilation. Web Intelligence 2012: 97-104 - [c37]Chenyan Xiong, Taifeng Wang, Wenkui Ding, Yidong Shen, Tie-Yan Liu:
Relational click prediction for sponsored search. WSDM 2012: 493-502 - 2011
- [j25]Yongguo Liu, Xindong Wu, Yi-Dong Shen:
Automatic clustering using genetic algorithms. Appl. Math. Comput. 218(4): 1267-1279 (2011) - [c36]Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan:
Towards Practical ABox Abduction in Large OWL DL Ontologies. AAAI 2011: 1160-1165 - [c35]Liang Du, Xuan Li, Yi-Dong Shen:
Cluster Ensembles via Weighted Graph Regularized Nonnegative Matrix Factorization. ADMA (1) 2011: 215-228 - [c34]Liang Du, Xuan Li, Yi-Dong Shen:
User Graph Regularized Pairwise Matrix Factorization for Item Recommendation. ADMA (2) 2011: 372-385 - [c33]Marco Sotomayor, Kewen Wang, Yi-Dong Shen, John Thornton:
Probabilistic Multi-Context Systems. JIST 2011: 366-375 - [c32]Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen:
A Decomposition-Based Approach to OWL DL Ontology Diagnosis. ICTAI 2011: 659-664 - [c31]Yi-Dong Shen:
Well-Supported Semantics for Description Logic Programs. IJCAI 2011: 1081-1086 - [c30]Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You:
Compiling Answer Set Programs into Event-Driven Action Rules. LPNMR 2011: 376-381 - [c29]Xuan Li, Liang Du, Yi-Dong Shen:
Graph-Based Marginal Ranking for Update Summarization. SDM 2011: 486-497 - [c28]Yi-Dong Shen, Kewen Wang:
Extending Logic Programs with Description Logic Expressions for the Semantic Web. ISWC (1) 2011: 633-648 - [i12]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter:
Embedding Description Logic Programs into Default Logic. CoRR abs/1111.1486 (2011) - 2010
- [j24]Jun Sun, Wenbo Zhao, Jiangwei Xue, Zhiyong Shen, Yi-Dong Shen:
Clustering with feature order preferences. Intell. Data Anal. 14(4): 479-495 (2010) - [j23]Yongguo Liu, Yi-Dong Shen:
Data Clustering with Cat Swarm Optimization. J. Convergence Inf. Technol. 5(8): 21-28 (2010) - [j22]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Loop formulas for description logic programs. Theory Pract. Log. Program. 10(4-6): 531-545 (2010) - [c27]Xuan Li, Yi-Dong Shen, Liang Du, Chen-Yan Xiong:
Exploiting novelty, coverage and balance for topic-focused multi-document summarization. CIKM 2010: 1765-1768 - [c26]Zhiyong Shen, Liang Du, Xukun Shen, Yi-Dong Shen:
Interval-valued Matrix Factorization with Applications. ICDM 2010: 1037-1042 - [i11]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Loop Formulas for Description Logic Programs. CoRR abs/1007.4040 (2010)
2000 – 2009
- 2009
- [j21]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. Theory Pract. Log. Program. 9(4): 529-564 (2009) - [j20]Yi-Dong Shen, Danny De Schreye, Dean Voets:
Termination prediction for general logic programs. Theory Pract. Log. Program. 9(6): 751-780 (2009) - [c25]Bai Su, Yi-Dong Shen:
Maximum margin transfer learning. GEC Summit 2009: 957-960 - [c24]Zhiyong Shen, Ping Luo, Yuhong Xiong, Jun Sun, Yi-Dong Shen:
Topic Modeling for Sequences of Temporal Activities. ICDM 2009: 980-985 - [c23]Bai Su, Wei Xu, Yi-Dong Shen:
Margin-Based Transfer Learning. ISNN (4) 2009: 223-233 - [c22]Yi-Dong Shen, Jia-Huai You:
A Default Approach to Semantics of Logic Programs with Constraint Atoms. LPNMR 2009: 277-289 - [c21]Jun Sun, Zhiyong Shen, Bai Su, Yi-Dong Shen:
Regularized Local Reconstruction for Clustering. PAKDD 2009: 110-121 - [c20]Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen:
A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL. ISWC 2009: 146-162 - [i10]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms. CoRR abs/0904.4727 (2009) - [i9]Yi-Dong Shen, Danny De Schreye, Dean Voets:
Termination Prediction for General Logic Programs. CoRR abs/0905.2004 (2009) - 2008
- [j19]Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu:
Basic research in computer science and software engineering at SKLCS. Frontiers Comput. Sci. China 2(1): 1-11 (2008) - [j18]Yi-Dong Shen:
Reasoning with recursive loops under the PLP framework. ACM Trans. Comput. Log. 9(4): 27:1-27:31 (2008) - [j17]Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen:
Linear tabling strategies and optimizations. Theory Pract. Log. Program. 8(1): 81-109 (2008) - [c19]Zhiyong Shen, Jun Sun, Yi-Dong Shen:
Collective Latent Dirichlet Allocation. ICDM 2008: 1019-1024 - [c18]Zhiyong Shen, Jun Sun, Yi-Dong Shen, Ming Li:
R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets. PAKDD 2008: 992-998 - [c17]Jun Sun, Zhiyong Shen, Hui Li, Yi-Dong Shen:
Clustering Via Local Regression. ECML/PKDD (2) 2008: 456-471 - [c16]Jun Sun, Wenbo Zhao, Jiangwei Xue, Zhiyong Shen, Yi-Dong Shen:
Clustering with Feature Order Preferences. PRICAI 2008: 382-393 - [c15]Jianfeng Du, Guilin Qi, Yi-Dong Shen:
Lexicographical Inference over Inconsistent DL-Based Ontologies. RR 2008: 58-73 - [c14]Jianfeng Du, Yi-Dong Shen:
Computing minimum cost diagnoses to repair populated DL-based ontologies. WWW 2008: 565-574 - 2007
- [j16]Yongguo Liu, Xiaorong Pu, Yi-Dong Shen, Zhang Yi, Xiaofeng Liao:
Clustering Using an Improved Hybrid Genetic Algorithm. Int. J. Artif. Intell. Tools 16(6): 919-934 (2007) - [c13]Yi-Dong Shen, Jia-Huai You:
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. AAAI 2007: 483-488 - [c12]Jianfeng Du, Yi-Dong Shen:
Partitioning ABoxes Based on Converting DL to Plain Datalog. Description Logics 2007 - [c11]Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen:
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. LPNMR 2007: 228-240 - [i8]Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen:
Linear Tabling Strategies and Optimizations. CoRR abs/0705.3468 (2007) - 2005
- [c10]Yi-Dong Shen, Qiang Yang:
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. ILP 2005: 330-347 - [i7]Yi-Dong Shen, Qiang Yang, Jia-Huai You, Li-Yan Yuan:
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. CoRR abs/cs/0506095 (2005) - [i6]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms. CoRR abs/cs/0507035 (2005) - [i5]Yi-Dong Shen, Danny De Schreye:
Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach. CoRR abs/cs/0512055 (2005) - 2004
- [j15]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Enhancing global SLS-resolution with loop cutting and tabling mechanisms. Theor. Comput. Sci. 328(3): 271-287 (2004) - [c9]Yi-Dong Shen, Zhiyong Shen, Shi-Ming Zhang, Qiang Yang:
Cluster Cores-Based Clustering for High Dimensional Data. ICDM 2004: 519-522 - [c8]Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato:
Semi-naive evaluation in linear tabling. PPDP 2004: 90-97 - [c7]Yanchang Zhao, Chengqi Zhang, Yi-Dong Shen:
Clustering High-Dimensional Data with Low-Order Neighbors. Web Intelligence 2004: 103-109 - 2003
- [j14]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang:
A dynamic approach to characterizing termination of general logic programs. ACM Trans. Comput. Log. 4(4): 417-430 (2003) - [c6]Raymond Chan, Qiang Yang, Yi-Dong Shen:
Mining High Utility Itemsets. ICDM 2003: 19-26 - [c5]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 - 2002
- [j13]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
SLT-Resolution for the Well-Founded Semantics. J. Autom. Reason. 28(1): 53-97 (2002) - [c4]Yi-Dong Shen, Zhong Zhang, Qiang Yang:
Objective-Oriented Utility-Based Association Mining. ICDM 2002: 426-433 - [i4]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang:
A Dynamic Approach to Characterizing Termination of General Logic Programs. CoRR cs.LO/0204031 (2002) - 2001
- [j12]Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. J. Funct. Log. Program. 2001(10) (2001) - [j11]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Loop checks for logic programs with functions. Theor. Comput. Sci. 266(1-2): 441-461 (2001) - [j10]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear tabulated resolution based on Prolog control strategy. Theory Pract. Log. Program. 1(1): 71-103 (2001) - 2000
- [c3]Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123 - [i3]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
SLT-Resolution for the Well-Founded Semantics. CoRR cs.AI/0002016 (2000) - [i2]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolution Based on Prolog Control Strategy. CoRR cs.AI/0003046 (2000) - [i1]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Verifying Termination of General Logic Programs with Concrete Queries. CoRR cs.AI/0006031 (2000)
1990 – 1999
- 1999
- [j9]Yidong Shen:
A general scheme for formalizing defaults using the predicate ab(I, S). J. Comput. Sci. Technol. 14(2): 159-164 (1999) - [j8]Yidong Shen:
A theory of hybrid diagnosis. J. Comput. Sci. Technol. 14(4): 363-371 (1999) - [c2]Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
A Linear Tabling Mechanism. ICLP 1999: 618 - [c1]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205 - 1998
- [j7]Yidong Shen:
Extracting schema from an OEM database. J. Comput. Sci. Technol. 13(4): 289-299 (1998) - 1997
- [j6]Yi-Dong Shen:
An Extended Variant of Atoms Loop Check for Positive Logic Programs. New Gener. Comput. 15(2): 187-204 (1997) - 1996
- [j5]Yidong Shen, Mei Rong, Fu Tong:
Diagnostic problem solving using first principles and heuristics. J. Comput. Sci. Technol. 11(4): 372-384 (1996) - [j4]Yi-Dong Shen:
Verifying Local Stratifiability of Logic Programs and Databases II. New Gener. Comput. 14(3): 317-341 (1996) - 1993
- [j3]Yidong Shen, Fu Tong, Daijie Cheng:
On local stratifiability of logic programs and databases. J. Comput. Sci. Technol. 8(2): 97-107 (1993) - [j2]Yidong Shen:
A fixpoint semantics for stratified databases. J. Comput. Sci. Technol. 8(2): 108-117 (1993) - 1992
- [j1]Yi-Dong Shen:
Verifying Local Stratifiability of Logic Programs and Databases. New Gener. Comput. 11(1): 23-46 (1992)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
