( en | de | ru )

 

Disambiguation of "Shen, Yi-Dong"

Author of the publication

copydeleteadd this publication to your clipboard
A dynamic approach to characterizing termination of general logic programs.

, , , , and . ACM Trans. Comput. Log., 4 (4): 417-430 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dong Shen

Yi Shen

Yi Shen

Yi Dong

Dong Yi

 

Other publications of authors with the same name

Dual-path Convolutional Image-Text Embeddings with Instance Loss., , , , , and . ACM Trans. Multim. Comput. Commun. Appl., 16 (2): 51:1-51:23 (2020)Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)., and . IJCAI, page 5040-5044. ijcai.org, (2020)Journal track.Data Clustering with Cat Swarm Optimization., and . J. Convergence Inf. Technol., 5 (8): 21-28 (2010)Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming., and . CoRR, (2020)Self-Paced Clustering Ensemble., , , , , and . IEEE Trans. Neural Networks Learn. Syst., 32 (4): 1497-1511 (2021)Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities., , , and . LPNMR, volume 4483 of Lecture Notes in Computer Science, page 228-240. Springer, (2007)Extending Logic Programs with Description Logic Expressions for the Semantic Web., and . ISWC (1), volume 7031 of Lecture Notes in Computer Science, page 633-648. Springer, (2011)Well-Supported Semantics for Logic Programs with Generalized Rules., , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 576-591. Springer, (2012)Implementation of a Linear Tabling Mechanism., , , and . J. Funct. Log. Program., (2001)Mining the Customer's Up-To-Moment Preferences for E-commerce Recommendation., , , and . PAKDD, volume 2637 of Lecture Notes in Computer Science, page 166-177. Springer, (2003)