Revision Programs with Explicit Negation. - Yisong Wang 004; Mingyi Zhang 002 (ICTAC, 2004)

First-Order Loop Formulas for Normal Logic Programs. - Yin Chen 005; Fangzhen Lin; Yisong Wang 004; Mingyi Zhang 002 (KR, 2006)

Consistency Property of Finite FC-Normal Logic Programs. - Yisong Wang 004; Mingyi Zhang 002; Yu-Ping Shen (J. Comput. Sci. Technol., 2007)

Answer Set Programming with Functions. - Fangzhen Lin; Yisong Wang 004 (KR, 2008)

Weight Constraint Programs with Functions. - Yisong Wang 004; Jia-Huai You; Li-Yan Yuan; Mingyi Zhang 002 (LPNMR, 2009)

Logic Programs, Compatibility and Forward Chaining Construction. - Yisong Wang 004; Mingyi Zhang 002; Jia-Huai You (J. Comput. Sci. Technol., 2009)

Weight constraint programs with evaluable functions. - Yisong Wang 004; Jia-Huai You; Fangzhen Lin; Li-Yan Yuan; Mingyi Zhang 002 (Ann. Math. Artif. Intell., 2010)

Loop formulas for description logic programs. - Yisong Wang 004; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen (Theory Pract. Log. Program., 2010)

Constructing first-order loops of normal logic programs. - Yisong Wang 004; Ying Zhang; Mingyi Zhang 002 (FSKD, 2011)

Embedding Description Logic Programs into Default Logic - Yisong Wang 004; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen; Thomas Eiter (CoRR, 2011)

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. - Yisong Wang 004; Fangzhen Lin; Mingyi Zhang 002; Jia-Huai You (AAAI, 2012)

Forgetting in Logic Programs under Strong Equivalence. - Yisong Wang 004; Yan Zhang 003; Yi Zhou 013; Mingyi Zhang 002 (KR, 2012)

The loop formula based semantics of description logic programs. - Yisong Wang 004; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen; Mingyi Zhang 002 (Theor. Comput. Sci., 2012)

Embedding Functions into Disjunctive Logic Programs. - Yisong Wang 004; Jia-Huai You; Mingyi Zhang 002 (ICTAC, 2013)

Forgetting for Answer Set Programs Revisited. - Yisong Wang 004; Kewen Wang 001; Mingyi Zhang 002 (IJCAI, 2013)

Belief Change in Nonmonotonic Multi-Context Systems. - Yisong Wang 004; Zhiqiang Zhuang; Kewen Wang 001 (LPNMR, 2013)

Rule Revision in Normal DL Logic Programs. - Sebastian Binnewies; Yisong Wang 004; Bela Stantic; Kewen Wang 001 (RR, 2013)

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. - Yisong Wang 004; Thomas Eiter; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen (RR, 2013)

Knowledge Forgetting in Answer Set Programming. - Yisong Wang 004; Yan Zhang 003; Yi Zhou 013; Mingyi Zhang 002 (J. Artif. Intell. Res., 2014)

Knowledge Forgetting in Circumscription: A Preliminary Report. - Yisong Wang 004; Kewen Wang 001; Zhe Wang 001; Zhiqiang Zhuang (AAAI, 2015)

On Forgetting Postulates in Answer Set Programming. - Jianmin Ji; Jia-Huai You; Yisong Wang 004 (IJCAI, 2015)

Learning Disjunctive Logic Programs from Interpretation Transition. - Yi Huang 026; Yisong Wang 004; Ying Zhang; Mingyi Zhang 002 (ILP (Short Papers), 2016)

Semi-Supervised Feature Learning for Off-Line Writer Identifications. - Shiming Chen 002; Yisong Wang 004; Chin-Teng Lin; Zehong Cao (CoRR, 2018)

Semi-supervised feature learning for improving writer identification. - Shiming Chen 002; Yisong Wang 004; Chin-Teng Lin; Weiping Ding 001; Zehong Cao (Inf. Sci., 2019)

On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. - Renyan Feng; Erman Acar; Stefan Schlobach; Yisong Wang 004; Wanwei Liu (KR, 2020)

On Sufficient and Necessary Conditions in Bounded CTL. - Renyan Feng; Erman Acar; Stefan Schlobach; Yisong Wang 004; Wanwei Liu (CoRR, 2020)

Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions. - Yi Huang 026; Yisong Wang 004; Jia-Huai You; Mingyi Zhang 002; Ying Zhang (New Gener. Comput., 2021)

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach. - Renyan Feng; Erman Acar; Yisong Wang 004; Wanwei Liu; Stefan Schlobach; Weiping Ding 001 (Inf. Sci., 2022)

On One-Pixel Attacking Medical Images against Deep Learning Models. - Yisong Wang 004; Wei Wang 415; Xianglong Wang; Zhuo Chen 046 (ISAIMS, 2023)

Knowledge forgetting in propositional μ-calculus. - Renyan Feng; Yisong Wang 004; Ren Qian; Lei Yang; Panfeng Chen (Ann. Math. Artif. Intell., 2023)

Fuzzy Multicontext Systems. - Lei Yang; Yisong Wang 004; Hongbo Hu; Renyan Feng; Jun Liu 001 (IEEE Trans. Fuzzy Syst., 2023)

Witnesses for Answer Sets of Logic Programs. - Yisong Wang 004; Thomas Eiter; Yuanlin Zhang 002; Fangzhen Lin (ACM Trans. Comput. Log., 2023)

A Q-based policy gradient optimization approach for Doudizhu. - Xiaomin Yu; Yisong Wang 004; Jin Qin; Panfeng Chen (Appl. Intell., 2023)

Analyzing the Robustness of Complex Networks with Attack Success Rate. - Fangqun Yang; Yisong Wang 004 (Entropy, 2023)

Satisfiability Threshold of Random Propositional S5 Theories. - Zaihang Su; Yisong Wang 004; Renyan Feng; Chan Zhou (Axioms, 2024)

Pathological Image Segmentation Technology Based on Dual Attention and Multi-Scale Feature Fusion Facilitates Ai-Assisted Diagnosis. - Quiyang Wang; Fangfang Gou; Yisong Wang 004; Jia Wu 002 (BIBM, 2025)

Witnesses for Answer Sets of Basic Logic Programs. - Yisong Wang 004; Xianglong Wang; Zhongtao Xie; Thomas Eiter (IJCAI, 2025)

VMDUnet: Advancing Glioma Segmentation Integrating With Mamba and Dual Cross-Attention. - Zhuo Chen 046; Yisong Wang 004; Fangfang Gou (Int. J. Imaging Syst. Technol., 2025)

Inductive Learning for Possibilistic Logic Programs Under Stable Models. - Hongbo Hu; Yisong Wang 004; Yi Huang 026; Kewen Wang 001 (Theory Pract. Log. Program., 2025)

Visual-Semantic Graph Matching Net for Zero-Shot Learning. - Bowen Duan 001; Shiming Chen 002; Yufei Guo; Guo-Sen Xie; Weiping Ding 001; Yisong Wang 004 (IEEE Trans. Neural Networks Learn. Syst., 2025)

Multi-Modal Prompts With Primitives Enhancement for Compositional Zero-Shot Learning. - Yutang Jin; Shiming Chen 002; Tianle Tong; Weiping Ding 001; Yisong Wang 004 (IEEE Trans. Circuits Syst. Video Technol., 2025)

Object-Aware Image Augmentation for Audio-Visual Zero-Shot Learning. - Yujie Dong; Shiming Chen 002; Bowen Duan 001; Weiping Ding 001; Yisong Wang 004; Xinge You (IEEE Trans. Emerg. Top. Comput. Intell., 2025)