|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29 occurrences of 26 keywords
|
|
|
|
|
Results
Found 66 publication records. Showing 66 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter |
Embedding Description Logic Programs into Default Logic |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yongguo Liu, Xindong Wu, Yi-Dong Shen |
Automatic clustering using genetic algorithms. |
Applied Mathematics and Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen |
Well-Supported Semantics for Description Logic Programs. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xuan Li, Liang Du, Yi-Dong Shen |
Graph-Based Marginal Ranking for Update Summarization. |
SDM |
2011 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You |
Compiling Answer Set Programs into Event-Driven Action Rules. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen |
A Decomposition-Based Approach to OWL DL Ontology Diagnosis. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Kewen Wang |
Extending Logic Programs with Description Logic Expressions for the Semantic Web. |
International Semantic Web Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Du, Xuan Li, Yi-Dong Shen |
User Graph Regularized Pairwise Matrix Factorization for Item Recommendation. |
ADMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Du, Xuan Li, Yi-Dong Shen |
Cluster Ensembles via Weighted Graph Regularized Nonnegative Matrix Factorization. |
ADMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan |
Towards Practical ABox Abduction in Large OWL DL Ontologies. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yongguo Liu, Yi-Dong Shen |
Data Clustering with Cat Swarm Optimization. |
JCIT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen |
Loop Formulas for Description Logic Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jun Sun, Wenbo Zhao, Jiangwei Xue, Zhiyong Shen, Yi-Dong Shen |
Clustering with feature order preferences. |
Intell. Data Anal. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen |
Loop formulas for description logic programs. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyong Shen, Liang Du, Xukun Shen, Yi-Dong Shen |
Interval-valued Matrix Factorization with Applications. |
ICDM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Li, Yi-Dong Shen, Liang Du, Chen-Yan Xiong |
Exploiting novelty, coverage and balance for topic-focused multi-document summarization. |
CIKM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Danny De Schreye, Dean Voets |
Termination Prediction for General Logic Programs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan |
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan |
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Danny De Schreye, Dean Voets |
Termination prediction for general logic programs. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bai Su, Yi-Dong Shen |
Maximum margin transfer learning. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
maximum margin, transfer learning |
| 1 | Zhiyong Shen, Ping Luo, Yuhong Xiong, Jun Sun, Yi-Dong Shen |
Topic Modeling for Sequences of Temporal Activities. |
ICDM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bai Su, Wei Xu, Yi-Dong Shen |
Margin-Based Transfer Learning. |
ISNN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun, Zhiyong Shen, Bai Su, Yi-Dong Shen |
Regularized Local Reconstruction for Clustering. |
PAKDD |
2009 |
DBLP DOI BibTeX RDF |
Local Reconstruction, Entropy Regularization, Clustering |
| 1 | Yi-Dong Shen, Jia-Huai You |
A Default Approach to Semantics of Logic Programs with Constraint Atoms. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen |
A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL. |
International Semantic Web Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian 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. |
Frontiers of Computer Science in China |
2008 |
DBLP DOI BibTeX RDF |
human-computer interaction, real-time system, parallel algorithms, middleware, formal specification, computer graphics, software process, automated reasoning, concurrency theory |
| 1 | Yi-Dong Shen |
Reasoning with recursive loops under the PLP framework. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
cyclic influences, recursive loops, the well-founded model, Logic programming, Bayesian networks |
| 1 | Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen |
Linear tabling strategies and optimizations. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun, Zhiyong Shen, Hui Li, Yi-Dong Shen |
Clustering Via Local Regression. |
ECML/PKDD |
2008 |
DBLP DOI BibTeX RDF |
Sum of Absolute Error, Clustering, Local Learning |
| 1 | Zhiyong Shen, Jun Sun, Yi-Dong Shen |
Collective Latent Dirichlet Allocation. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyong Shen, Jun Sun, Yi-Dong Shen, Ming Li |
R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets. |
PAKDD |
2008 |
DBLP DOI BibTeX RDF |
Clustering, Data mapping, Categorical data |
| 1 | Jianfeng Du, Yi-Dong Shen |
Computing minimum cost diagnoses to repair populated DL-based ontologies. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
ontologies, diagnosis, description logics, disjunctive datalog |
| 1 | Jianfeng Du, Guilin Qi, Yi-Dong Shen |
Lexicographical Inference over Inconsistent DL-Based Ontologies. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun, Wenbo Zhao, Jiangwei Xue, Zhiyong Shen, Yi-Dong Shen |
Clustering with Feature Order Preferences. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongguo Liu, Xiaorong Pu, Yi-Dong Shen, Zhang Yi, Xiaofeng Liao |
Clustering Using an Improved Hybrid Genetic Algorithm. |
International Journal on Artificial Intelligence Tools |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen |
Linear Tabling Strategies and Optimizations |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jianfeng Du, Yi-Dong Shen |
Partitioning ABoxes Based on Converting DL to Plain Datalog. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen |
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You |
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Danny De Schreye |
Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan |
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Qiang Yang |
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. |
ILP |
2005 |
DBLP DOI BibTeX RDF |
Probabilistic logic programming (PLP), the well-founded semantics, stationary dynamic Bayesian networks, SLG-resolution |
| 1 | Yi-Dong Shen, Zhiyong Shen, Shi-Ming Zhang, Qiang Yang |
Cluster Cores-Based Clustering for High Dimensional Data. |
ICDM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanchang Zhao, Chengqi Zhang, Yi-Dong Shen |
Clustering High-Dimensional Data with Low-Order Neighbors. |
Web Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |
Semi-naive evaluation in linear tabling. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization |
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
dynamic characterization, Prolog, Termination analysis |
| 1 | Raymond Chan, Qiang Yang, Yi-Dong Shen |
Mining High Utility Itemsets. |
ICDM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Qiang Yang, Zhong Zhang, Hongjun Lu |
Mining the Customer's Up-To-Moment Preferences for E-commerce Recommendation. |
PAKDD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
SLT-Resolution for the Well-Founded Semantics. |
J. Autom. Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Zhong Zhang, Qiang Yang |
Objective-Oriented Utility-Based Association Mining. |
ICDM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Loop checks for logic programs with functions. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Implementation of a Linear Tabling Mechanism. |
Journal of Functional and Logic Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear tabulated resolution based on Prolog control strategy. |
TPLP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear Tabulated Resolution Based on Prolog Control Strategy |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
SLT-Resolution for the Well-Founded Semantics |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Verifying Termination of General Logic Programs with Concrete Queries |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Implementation of a Linear Tabling Mechanism. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
A Linear Tabling Mechanism. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear Tabulated Resolutions for the Well-Founded Semantics. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen |
An Extended Variant of Atoms Loop Check for Positive Logic Programs. |
New Generation Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen |
Verifying Local Stratifiability of Logic Programs and Databases II. |
New Generation Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen |
Verifying Local Stratifiability of Logic Programs and Databases. |
New Generation Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #66 of 66 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")