The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yi-Dong Shen" ( http://dblp.L3S.de/Authors/Yi-Dong_Shen )

  Author page on DBLP  Author page in RDF  Community of Yi-Dong Shen in ASPL-2

Publication years (Num. hits)
1992-2002 (15) 2003-2007 (16) 2008-2009 (19) 2010-2011 (17) 2012-2014 (18) 2015-2017 (15) 2018-2019 (4)
Publication types (Num. hits)
article(42) inproceedings(62)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 26 keywords

Results
Found 105 publication records. Showing 104 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Peng Zhou 0006, Yi-Dong Shen, Liang Du, Fan Ye, Xuejun Li Incremental multi-view spectral clustering. Search on Bibsonomy Knowl.-Based Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hanmo Wang, Runwu Zhou, Yi-Dong Shen Bounding Uncertainty for Active Batch Selection. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  BibTeX  RDF
1Xiaojun Chang, Po-Yao Huang, Yi-Dong Shen, Xiaodan Liang, Yi Yang 0001, Alexander G. Hauptmann RCAA: Relational Context-Aware Agents for Person Search. Search on Bibsonomy ECCV (9) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hanmo Wang, Xiaojun Chang, Lei Shi, Yi Yang 0001, Yi-Dong Shen Uncertainty Sampling for Action Recognition via Maximizing Expected Average Precision. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lei Shi, Wayne Xin Zhao, Yi-Dong Shen Local Representative-Based Matrix Factorization for Cold-Start Recommendation. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhedong Zheng, Liang Zheng 0001, Michael Garrett, Yi Yang 0001, Yi-Dong Shen Dual-Path Convolutional Image-Text Embedding. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yi-Dong Shen, Thomas Eiter Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Thomas Eiter Evaluating epistemic negation in answer set programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lian Wen, Kewen Wang, Yi-Dong Shen, Fangzhen Lin A Model for Phase Transition of Random Answer-Set Programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lei Shi, Yi-Dong Shen Diversifying Convex Transductive Experimental Design for Active Learning. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Liang Du, Yi-Dong Shen Unsupervised Feature Selection with Adaptive Structure Learning. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hanmo Wang, Liang Du, Peng Zhou 0006, Lei Shi, Yuhua Qian, Yi-Dong Shen Experimental Design with Multiple Kernels. Search on Bibsonomy ICDM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hanmo Wang, Liang Du, Peng Zhou 0006, Lei Shi, Yi-Dong Shen Convex Batch Mode Active Sampling via α-Relative Pearson Divergence. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jianfeng Du, Kewen Wang, Yi-Dong Shen Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Liang Du, Yi-Dong Shen Unsupervised Feature Selection with Adaptive Structure Learning. Search on Bibsonomy KDD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peng Zhou 0006, Liang Du, Mingyu Fan, Yi-Dong Shen An LLE based Heterogeneous Metric Learning for Cross-media Retrieval. Search on Bibsonomy SDM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Liang Du, Peng Zhou 0006, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang, Yi-Dong Shen Robust Multiple Kernel K-means Using L21-Norm. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Peng Zhou 0006, Liang Du, Hanmo Wang, Lei Shi, Yi-Dong Shen Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Peng Zhou 0006, Liang Du, Lei Shi, Hanmo Wang, Yi-Dong Shen Recovery of Corrupted Multiple Kernels for Clustering. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink 0001, Christoph Redl, Thomas Krennwallner, Jun Deng FLP answer set semantics without circular justifications for general logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lei Shi, Liang Du, Yi-Dong Shen Robust Spectral Learning for Unsupervised Feature Selection. Search on Bibsonomy ICDM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jianfeng Du, Kewen Wang, Yi-Dong Shen A Tractable Approach to ABox Abduction over Description Logic Ontologies. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Lei Shi, Shuming Shi, Chin-Yew Lin, Yi-Dong Shen, Yong Rui Unsupervised Template Mining for Semantic Category Understanding. Search on Bibsonomy EMNLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Xuan Li, Liang Du, Yi-Dong Shen Update Summarization via Graph-Based Sentence Ranking. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jianfeng Du, Guilin Qi, Yi-Dong Shen Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Liang Du, Zhiyong Shen, Xuan Li, Peng Zhou 0006, Yi-Dong Shen Local and Global Discriminative Learning for Unsupervised Feature Selection. Search on Bibsonomy ICDM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jun Deng, Liang Du, Yi-Dong Shen Heterogeneous Metric Learning for Cross-Modal Multimedia Retrieval. Search on Bibsonomy WISE (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Liang Du, Yi-Dong Shen Joint Clustering and Feature Selection. Search on Bibsonomy WAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Liang Du, Yi-Dong Shen, Zhiyong Shen, Jianying Wang, Zhiwu Xu A Self-Supervised Framework for Clustering Ensemble. Search on Bibsonomy WAIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Liang Du, Yi-Dong Shen Towards Robust Co-Clustering. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan Towards Practical ABox Abduction in Large Description Logic Ontologies. Search on Bibsonomy Int. J. Semantic Web Inf. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang The loop formula based semantics of description logic programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Yi-Dong Shen, Kewen Wang Well-Supported Semantics for Logic Programs with Generalized Rules. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Liang Du, Xuan Li, Yi-Dong Shen Robust Nonnegative Matrix Factorization via Half-Quadratic Minimization. Search on Bibsonomy ICDM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Kewen Wang FLP Semantics Without Circular Justifications for General Logic Programs. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen Approximating Linear Order Inference in OWL 2 DL by Horn Compilation. Search on Bibsonomy Web Intelligence The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yongguo Liu, Xindong Wu 0001, Yi-Dong Shen Automatic clustering using genetic algorithms. Search on Bibsonomy Applied Mathematics and Computation The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter Embedding Description Logic Programs into Default Logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You Compiling Answer Set Programs into Event-Driven Action Rules. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Sotomayor, Kewen Wang, Yi-Dong Shen, John Thornton 0001 Probabilistic Multi-Context Systems. Search on Bibsonomy JIST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen A Decomposition-Based Approach to OWL DL Ontology Diagnosis. Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan Towards Practical ABox Abduction in Large OWL DL Ontologies. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Yi-Dong Shen, Kewen Wang Extending Logic Programs with Description Logic Expressions for the Semantic Web. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Liang Du, Xuan Li, Yi-Dong Shen User Graph Regularized Pairwise Matrix Factorization for Item Recommendation. Search on Bibsonomy ADMA (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Liang Du, Xuan Li, Yi-Dong Shen Cluster Ensembles via Weighted Graph Regularized Nonnegative Matrix Factorization. Search on Bibsonomy ADMA (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xuan Li, Liang Du, Yi-Dong Shen Graph-Based Marginal Ranking for Update Summarization. Search on Bibsonomy SDM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen Well-Supported Semantics for Description Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yongguo Liu, Yi-Dong Shen Data Clustering with Cat Swarm Optimization. Search on Bibsonomy JCIT The full citation details ... 2010 DBLP  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen Loop Formulas for Description Logic Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Jun Sun, Wenbo Zhao, Jiangwei Xue, Zhiyong Shen, Yi-Dong Shen Clustering with feature order preferences. Search on Bibsonomy Intell. Data Anal. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen Loop formulas for description logic programs. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zhiyong Shen, Liang Du, Xukun Shen, Yi-Dong Shen Interval-valued Matrix Factorization with Applications. Search on Bibsonomy ICDM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Xuan Li, Yi-Dong Shen, Liang Du, Chen-Yan Xiong Exploiting novelty, coverage and balance for topic-focused multi-document summarization. Search on Bibsonomy CIKM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Danny De Schreye, Dean Voets Termination Prediction for General Logic Programs Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Danny De Schreye, Dean Voets Termination prediction for general logic programs. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You A Default Approach to Semantics of Logic Programs with Constraint Atoms. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zhiyong Shen, Ping Luo 0001, Yuhong Xiong, Jun Sun, Yi-Dong Shen Topic Modeling for Sequences of Temporal Activities. Search on Bibsonomy ICDM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bai Su, Wei Xu, Yi-Dong Shen Margin-Based Transfer Learning. Search on Bibsonomy ISNN (4) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jun Sun, Zhiyong Shen, Bai Su, Yi-Dong Shen Regularized Local Reconstruction for Clustering. Search on Bibsonomy PAKDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Local Reconstruction, Entropy Regularization, Clustering
1Bai Su, Yi-Dong Shen Maximum margin transfer learning. Search on Bibsonomy GEC Summit The full citation details ... 2009 DBLP  DOI  BibTeX  RDF maximum margin, transfer learning
1Jian Zhang 0001, 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. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF human-computer interaction, real-time system, parallel algorithms, middleware, formal specification, computer graphics, software process, automated reasoning, concurrency theory
1Yi-Dong Shen Reasoning with recursive loops under the PLP framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cyclic influences, recursive loops, the well-founded model, Logic programming, Bayesian networks
1Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen Linear tabling strategies and optimizations. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jun Sun, Zhiyong Shen, Hui Li, Yi-Dong Shen Clustering Via Local Regression. Search on Bibsonomy ECML/PKDD (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Sum of Absolute Error, Clustering, Local Learning
1Jun Sun, Wenbo Zhao, Jiangwei Xue, Zhiyong Shen, Yi-Dong Shen Clustering with Feature Order Preferences. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zhiyong Shen, Jun Sun, Yi-Dong Shen Collective Latent Dirichlet Allocation. Search on Bibsonomy ICDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jianfeng Du, Yi-Dong Shen Computing minimum cost diagnoses to repair populated DL-based ontologies. Search on Bibsonomy WWW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontologies, diagnosis, description logics, disjunctive datalog
1Zhiyong Shen, Jun Sun, Yi-Dong Shen, Ming Li R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets. Search on Bibsonomy PAKDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clustering, Data mapping, Categorical data
1Jianfeng Du, Guilin Qi, Yi-Dong Shen Lexicographical Inference over Inconsistent DL-Based Ontologies. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yongguo Liu, Xiaorong Pu, Yi-Dong Shen, Zhang Yi 0001, Xiaofeng Liao Clustering Using an Improved Hybrid Genetic Algorithm. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen Linear Tabling Strategies and Optimizations Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jianfeng Du, Yi-Dong Shen Partitioning ABoxes Based on Converting DL to Plain Datalog. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
1Yi-Dong Shen, Qiang Yang 0001, Jia-Huai You, Li-Yan Yuan Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Yi-Dong Shen, Danny De Schreye Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Yi-Dong Shen, Qiang Yang 0001 Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. Search on Bibsonomy ILP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Probabilistic logic programming (PLP), the well-founded semantics, stationary dynamic Bayesian networks, SLG-resolution
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Enhancing global SLS-resolution with loop cutting and tabling mechanisms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Zhiyong Shen, Shi-Ming Zhang, Qiang Yang 0001 Cluster Cores-Based Clustering for High Dimensional Data. Search on Bibsonomy ICDM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yanchang Zhao, Chengqi Zhang, Yi-Dong Shen Clustering High-Dimensional Data with Low-Order Neighbors. Search on Bibsonomy Web Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato Semi-naive evaluation in linear tabling. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang 0001 A dynamic approach to characterizing termination of general logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dynamic characterization, Prolog, Termination analysis
1Raymond Chan, Qiang Yang 0001, Yi-Dong Shen Mining High Utility Itemsets. Search on Bibsonomy ICDM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Qiang Yang 0001, Zhong Zhang, Hongjun Lu Mining the Customer's Up-To-Moment Preferences for E-commerce Recommendation. Search on Bibsonomy PAKDD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang 0001 A Dynamic Approach to Characterizing Termination of General Logic Programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You SLT-Resolution for the Well-Founded Semantics. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Zhong Zhang, Qiang Yang 0001 Objective-Oriented Utility-Based Association Mining. Search on Bibsonomy ICDM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear tabulated resolution based on Prolog control strategy. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Loop checks for logic programs with functions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Implementation of a Linear Tabling Mechanism. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You SLT-Resolution for the Well-Founded Semantics Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear Tabulated Resolution Based on Prolog Control Strategy Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Verifying Termination of General Logic Programs with Concrete Queries Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Implementation of a Linear Tabling Mechanism. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear Tabulated Resolutions for the Well-Founded Semantics. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 104 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license