Articles by Yi-Dong Shen | Synthical

Synthical

Your space

Profile

Activity

Favorites

Folders

Feeds

Contacts

About

Simple

Original

Articles by Yi-Dong Shen

Refining Gelfond Rationality Principle Towards More Comprehensive Foundational Principles for Answer Set Semantics

2 July 2025 by Yi-Dong Shen and Thomas Eiter

Artificial Intelligence

Efficient Token-Guided Image-Text Retrieval with Consistent Multimodal Contrastive Training

15 June 2023 by Chong Liu and others

Computer Vision and Pattern Recognition

Vision-Language Navigation with Random Environmental Mixup

13 August 2021 by Chong Liu and others

Computer Vision and Pattern Recognition

City-Scale Multi-Camera Vehicle Tracking Guided by Crossroad Zones

14 May 2021 by Chong Liu and others

Computer Vision and Pattern Recognition

Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming

7 November 2020 by Yi-Dong Shen and Thomas Eiter

Artificial Intelligence, Logic in Computer Science

Unity Style Transfer for Person Re-Identification

4 March 2020 by Chong Liu and others

Computer Vision and Pattern Recognition, Machine Learning

End-to-End Adversarial-Attention Network for Multi-Modal Clustering

31 December 2019 by Runwu Zhou and Yi-Dong Shen

Computer Vision and Pattern Recognition, Artificial Intelligence

Reduced but not Enhanced Default Mode Network Functional Connectivity in Major Depressive Disorder: Evidence from 25 Cohorts in the REST-meta-MDD Project

16 April 2019 by Chao-Gan Yan and others

Dual-Path Convolutional Image-Text Embedding

22 November 2017 by Zhedong Zheng and others

Computer Vision and Pattern Recognition, Multimedia

Unsupervised Feature Selection with Adaptive Structure Learning

3 April 2015 by Liang Du and Yi-Dong Shen

Machine Learning

Using a New Sky Brightness Monitor to Observe the Annular Solar Eclipse on 15 January 2010

12 September 2012 by Yuanliu liu and others

Solar and Stellar Astrophysics

Embedding Description Logic Programs into Default Logic

7 November 2011 by Yisong Wang and others

Artificial Intelligence

Loop Formulas for Description Logic Programs

23 July 2010 by Yisong Wang and others

Artificial Intelligence, Logic in Computer Science

Termination Prediction for General Logic Programs

13 May 2009 by Yi-Dong Shen and others

Programming Languages, Artificial Intelligence

Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms

30 April 2009 by Yi-Dong Shen and others

Artificial Intelligence, Logic in Computer Science

Linear Tabling Strategies and Optimizations

23 May 2007 by Neng-Fa Zhou and others

Programming Languages

Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach

14 December 2005 by Yi-Dong Shen and Danny Schreye

Logic in Computer Science, Programming Languages

Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms

14 July 2005 by Yi-Dong Shen and others

Logic in Computer Science, Artificial Intelligence

A Dynamic Approach to Characterizing Termination of General Logic Programs

12 April 2002 by Yi-Dong Shen and others

Logic in Computer Science, Programming Languages

Verifying Termination of General Logic Programs with Concrete Queries

21 June 2000 by Yi-Dong Shen and others

Artificial Intelligence, Logic in Computer Science

Linear Tabulated Resolution Based on Prolog Control Strategy

9 March 2000 by Yi-Dong Shen and others

Artificial Intelligence, Logic in Computer Science

SLT-Resolution for the Well-Founded Semantics

5 March 2000 by Yi-Dong Shen and others

Artificial Intelligence, Programming Languages

Articles by Yi-Dong Shen | Synthical