Stop the war!Остановите войну!
for scientists:
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
- 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 - [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 - [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]